Thomas Braibant
Results
2
repositories owned by
Thomas Braibant
coq-tutorial-ml-tactics
23
Stars
3
Forks
Watchers
A tutorial on how to write OCaml tactics for the Coq proof assistant
Thomas Braibant
A tutorial on how to write OCaml tactics for the Coq proof assistant
