Similar repositories to DmxLarchey/Coq-Phase-Semantics:

• DmxLarchey/Coq-Phase-Semantics github similar
• bedrocksystems/cpp2v github similar
• danistefanovic/build-your-own-x github similar
• hecrj/iced github similar
• Lysxia/coq-recursion-schemes github similar
• dannypsnl/inductive github similar
• wenkokke/polygen github similar
• raptazure/kweh github similar
• tuvtran/project-based-learning github similar
• nmvdw/GrpdHITs github similar
• uds-psl/constructive-and-synthetic-reducibility-in-coq github similar
• nmvdw/HITs-Examples github similar
• nmvdw/RezkCompletion github similar
• scmlab/I-Love-Lean github similar
• Mbodin/coq-alternative-facts github similar
• logsem/iris-tini github similar
• dannypsnl/controllable-refinement github similar
• uds-psl/fol-completeness-theorems github similar
• knisht/arend-ct github similar
• jonsterling/guarded-theories github similar
• gallais/idris-free github similar
• wargrey/w3s github similar
• bhaaksema/rug-picalc-redux github similar
• amblafont/UniversalII github similar
• JacquesCarette/agda-algebras github similar
• xuanruiqi/commalg github similar
• tomdjong/TypeTopology github similar
• elpinal/duploids github similar
• emtst/emtst-proof github similar
• letouzey/coq-minicalc github similar
• ayberkt/simplc github similar
• yforster/coqtheorem github similar
• mr-ohman/intuitionistic-normalization github similar
• TOTBWF/agda-higher-categories github similar
• uncle-betty/trust-but-verify github similar
• jonsterling/effectful-typesetting github similar
• annenkov/trace-monoids github similar
• YouTakaoka/Topos github similar
• xuanruiqi/categories github similar
• pigworker/SmolCat github similar