The Tactician
Results
1
repositories owned by
The Tactician
coq-tactician
53
Stars
17
Forks
Watchers
A Seamless, Interactive Tactic Learner and Prover for Coq
