A tutorial on how to write OCaml tactics for the Coq proof assistant
Home Page:https://github.com/braibant/coq-tutorial-ml-tactics/wiki
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool