Similar repositories to coq-contribs/propcalc:

• coq-contribs/propcalc github similar
• qnighy/IPC-Coq github similar
• coq-community/comp-dec-modal github similar
• uds-psl/autosubst2 github similar
• styzystyzy/Axiomatic_Set_Theory github similar
• suharahiromichi/coq github similar
• arthuraa/deriving github similar
• RobertHarper/hott-notes github similar
• coq-community/goedel github similar
• coq-community/dblib github similar
• math-comp/finmap github similar
• coq-community/reglang github similar
• tlringer/plugin-tutorial github similar
• coq-tactician/coq-tactician github similar
• dschepler/coq-sequent-calculus github similar
• coq-community/autosubst github similar
• choukh/Set-Theory github similar
• amintimany/Categories github similar
• awodey/CatLogNotes github similar
• math-comp/hierarchy-builder github similar
• gebner/hott3 github similar
• JetBrains/arend-lib github similar
• discus-lang/iron github similar
• LPCIC/coq-elpi github similar
• HoTT/EPIT-2020 github similar
• coq/opam-coq-archive github similar
• UniMath/TypeTheory github similar
• CertiCoq/certicoq github similar
• HoTT-Intro/Agda github similar
• TyGuS/suslik github similar
• martinescardo/TypeTopology github similar
• lukaszcz/coqhammer github similar
• ilyasergey/pnp github similar
• leanprover-community/tutorials github similar
• GeoCoq/GeoCoq github similar
• tchajed/coq-tricks github similar
• jwiegley/coq-haskell github similar
• MetaCoq/metacoq github similar
• project-everest/everparse github similar
• mattam82/Coq-Equations github similar