braibant/coq-tutorial-ml-tactics
A tutorial on how to write OCaml tactics for the Coq proof assistant
OCaml
Stargazers
- alanpog
- anton-trunovTON Foundation
- boulmeGrenoble, France
- braibantLondon
- ekiciburakUniversity of Oxford
- hanwIntel
- hchunhuiUSTC
- hernanp
- iasakura
- jevinskieLafayette, Indiana
- KvaroverHeavenlocalhost, Taiwan
- little-arhat@copterust
- MarisaKirisame魔法の森, Gensokyo
- NeM-T
- pasberthA student
- petersn
- pirboParis
- smondetNew York, NY
- takasimizTashirojima
- tomprince
- Tridu33
- wjzzPoland
- wllqwzxPeking University