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

Showing 1 - 1
  1. An Extensible Automated Theorem Prover Producing Checkable Proofs
    0.8.5
    Used by 0 other packages
    23 Oct 2020