agrarpan / coq-synthesis

coq-synthesis is a Coq plugin for proof generation and next tactic prediction
12Updated 3 months ago

Related projects

Alternatives and complementary repositories for coq-synthesis