jasonrute / coq-tactician Goto Github PK
View Code? Open in Web Editor NEWThis project forked from coq-tactician/coq-tactician
A Seamless, Interactive Tactic Learner and Prover for Coq
Home Page: https://coq-tactician.github.io
License: MIT License