MSoegtropIMC/autoinduct
Taking a fun tactic implemented in class, and making it public for further refinement
Coq
Stargazers
No one’s star this repository yet.
Taking a fun tactic implemented in class, and making it public for further refinement
Coq
No one’s star this repository yet.