1 search result for "author:"D. Doligez""

  1. zenon
    An Extensible Automated Theorem Prover Producing Checkable Proofs
    0.8.5
    Used by 0 other packages
    Last published 23 Oct 2020