Similar repositories to olaure01/yalla:

• olaure01/yalla github similar
• danistefanovic/build-your-own-x github similar
• bedrocksystems/cpp2v github similar
• uds-psl/constructive-and-synthetic-reducibility-in-coq github similar
• combinators/cls-coq github similar
• minkiminki/Ordinal github similar
• boystrange/FairSubtypingAgda github similar
• Mbodin/coq-alternative-facts github similar
• logsem/iris-tini github similar
• dannypsnl/controllable-refinement github similar
• kendroe/CoqRewriter github similar
• jasmin-lang/coqword github similar
• vyorkin/okasaki-ocaml github similar
• nmvdw/GrpdHITs github similar
• DmxLarchey/Coq-Phase-Semantics github similar
• wujuihsuan2016/LL_prover github similar
• nmvdw/HITs-Examples github similar
• nmvdw/RezkCompletion github similar
• niccoloveltri/agda-gtt github similar
• FreeProving/free-proving-code github similar
• CertiGraph/CertiGraph github similar
• thery/PolTac github similar
• peterthiemann/definitional-session github similar
• arthuraa/cryptis github similar
• rmculpepper/racket-http123 github similar
• dboulytchev/miniKanren-coq github similar
• coq-community/templates github similar
• wargrey/w3s github similar
• pedagand/coq-label github similar
• coq-community/atbr github similar
• nyu-acsys/drift github similar
• sethalves/snow2-client github similar
• emtst/emtst-proof github similar
• coq-community/huffman github similar
• letouzey/coq-minicalc github similar
• cverified/cbench github similar
• yforster/coqtheorem github similar
• L-TChen/FiniteSets github similar
• ayberkt/simplc github similar
• logsem/cerise github similar