simon/sidekick
1
0
Fork 0
mirror of https://github.com/c-cube/sidekick.git synced 2026-01-24 10:26:40 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions
sidekick/src/proof
History
Simon Cruanes bbb995b0d5
refactor some names related to proofs; wip add unit paramod
2021-10-03 20:32:37 -04:00
..
Proof.ml refactor some names related to proofs; wip add unit paramod 2021-10-03 20:32:37 -04:00
Proof.mli wip: imperative proofs 2021-08-18 23:59:39 -04:00