ml4tp

Pinned Repositories

gamepad
A Learning Environment for Theorem Proving
Language:Coq71 9 1315
tcoq
Modification to Coq to record intermediate proof states encountered during a proof
Language:OCaml7 2 52

ml4tp's Repositories

ml4tp/gamepad
A Learning Environment for Theorem Proving
Language:Coq71 9 1315
ml4tp/tcoq
Modification to Coq to record intermediate proof states encountered during a proof
Language:OCaml7 2 52