1 search result for "author:"R. Bonichon""

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