coq
forked from coq/coq
Star 1
Fork 0
Watch
coq doc sphinx proofs
3 folders
automatic-tactics
creating-tactics
writing-proofs