/autoinduct

Taking a fun tactic implemented in class, and making it public for further refinement

Primary LanguageCoq

Stargazers

No one’s star this repository yet.