GitHub topics: coqdoc
rocq-community/coqdocjs
Collection of scripts to improve the output of coqdoc [maintainers=@chdoc,@palmskog]
Language: JavaScript - Size: 34.2 KB - Last synced at: 11 days ago - Pushed at: 12 months ago - Stars: 40 - Forks: 18
rocq-community/proviola
Tool for reanimation of Coq proofs [maintainer=@JasonGross]
Language: Python - Size: 305 KB - Last synced at: 4 months ago - Pushed at: about 5 years ago - Stars: 8 - Forks: 0
ajayeeralla/real-or-random-auth-proofs-coq
Machine-checked proofs of secrecy and authentication using CCSA framework
Language: Coq - Size: 2.37 MB - Last synced at: over 2 years ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 0
