Similar repositories to Mbodin/coq-alternative-facts:

• Mbodin/coq-alternative-facts github similar
• bedrocksystems/cpp2v github similar
• uds-psl/constructive-and-synthetic-reducibility-in-coq github similar
• cpsc411/cpsc411-pub github similar
• logsem/iris-tini github similar
• dannypsnl/controllable-refinement github similar
• nmvdw/GrpdHITs github similar
• DmxLarchey/Coq-Phase-Semantics github similar
• nmvdw/HITs-Examples github similar
• nmvdw/RezkCompletion github similar
• wargrey/w3s github similar
• minkiminki/Ordinal github similar
• rmculpepper/racket-http123 github similar
• pedagand/coq-label github similar
• nyu-acsys/drift github similar
• sethalves/snow2-client github similar
• emtst/emtst-proof github similar
• olaure01/yalla github similar
• syntax-objects/Summer2021 github similar
• L-TChen/FiniteSets github similar
• ayberkt/simplc github similar
• logsem/cerise github similar
• schemedoc/manpages github similar
• arthuraa/deriving github similar
• ComputerAidedLL/click-and-collect github similar
• rodrigogribeiro/unification github similar
• takanuva/coc github similar
• xieyuheng/cat github similar
• alashworth/sf-lean github similar
• panicz/sracket github similar
• atgeller/WASM-Redex github similar
• arthuraa/agda-hoas-demo github similar
• dboulytchev/miniKanren-coq github similar
• lexi-lambda/racket-higher-rank github similar
• coq-community/atbr github similar
• amaurremi/dot-calculus github similar
• gallais/parseque github similar
• gallais/typing-with-leftovers github similar
• Lysxia/coq-simple-io github similar
• coq-community/goedel github similar