GitHub topics: coqdoc
rocq-community/proviola
Tool for reanimation of Coq proofs [maintainer=@JasonGross]
Language: Python - Size: 305 KB - Last synced at: 3 months ago - Pushed at: about 5 years ago - Stars: 8 - Forks: 0
rocq-community/coqdocjs
Collection of scripts to improve the output of coqdoc [maintainers=@chdoc,@palmskog]
Language: JavaScript - Size: 34.2 KB - Last synced at: 3 months ago - Pushed at: 11 months ago - Stars: 37 - Forks: 17
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: about 5 years ago - Stars: 0 - Forks: 0
