proof-synthesis topic
List
proof-synthesis repositories
coq-tactician
53
Stars
17
Forks
Watchers
A Seamless, Interactive Tactic Learner and Prover for Coq
