1 result found Sort:

coq-tactician
coq-tactician coq-tactician
20
59
mit
5
A Seamless, Interactive Tactic Learner and Prover for Coq
coq coq-plugin proof-synthesis theorem-proving machine-learning
Created 2020-03-15
542 commits to coq8.11 branch, last one 4 months ago