Similar repositories to holgerthies/continuity:

• holgerthies/continuity github similar
• danistefanovic/build-your-own-x github similar
• ipdl/ipdl github similar
• liyishuai/file-sync github similar
• CohenCyril/tarjan github similar
• DmxLarchey/The-Braga-Method github similar
• clayrat/dialectica github similar
• jgrosso/coq-alpha-pearl github similar
• CoqHott/parametricity-a-la-carte github similar
• joom/herbrand-prolog github similar
• cj-xu/GentzenTrans github similar
• michaelsproul/dblib-linear github similar
• coq-contribs/relation-algebra github similar
• coq-community/comp-dec-modal github similar
• gogabr/lambekMikulas github similar
• barras/abstract-machines github similar
• gstew5/cage github similar
• llelf/cocoricoogle github similar
• coq-community/coq-performance-tests github similar
• yforster/coq-synthetic-computability github similar
• jdublu10/pacman github similar
• Vierkantor/refinement-parsers github similar
• pi8027/efficient-finfun github similar
• roglo/coq_real github similar
• FreeProving/free-proving-code github similar
• CoqHott/coq-forcing github similar
• uds-psl/churchs-thesis-coq github similar
• MathiasVP/idris-regex github similar
• thery/PolTac github similar
• DmxLarchey/ite-normalisation github similar
• coq-community/regexp-Brzozowski github similar
• yannham/visual-goi github similar
• RobertHarper/hott-notes github similar
• fizruk/lambda-mu-mu-calculus github similar
• minkiminki/Ordinal github similar
• ramsdell/agum github similar
• mvr/at github similar
• nbenton/x86proved github similar
• andreasabel/ipl github similar
• gergoerdi/interaction-nets github similar