Similar repositories to ProofSystem/Encyclopedia:

• ProofSystem/Encyclopedia github similar
• danistefanovic/build-your-own-x github similar
• tootsuite/mastodon github similar
• gibiansky/IHaskell github similar
• RobertHarper/hott-notes github similar
• Eloston/ungoogled-chromium github similar
• pixijs/pixi.js github similar
• shaunlebron/parinfer github similar
• hecrj/iced github similar
• tuvtran/project-based-learning github similar
• OpenPAL/TypeAndProof github similar
• totalscript/totalscript github similar
• ilya-klyuchnikov/ttlite github similar
• micahflee/onionshare github similar
• discus-lang/iron github similar
• gebner/hott3 github similar
• TheoWinterhalter/formal-type-theory github similar
• UniMath/TypeTheory github similar
• nullgemm/ly github similar
• ReactTraining/react-router github similar
• Eugeny/terminus github similar
• samuelgruetter/dot-calculus github similar
• sweirich/tal github similar
• ott-lang/ott github similar
• plclub/metalib github similar
• abella-prover/abella github similar
• robbertkrebbers/ch2o github similar
• LightAndLight/idris-but-its-c github similar
• bhuztez/russell github similar
• type-theory/type-theory-study-group github similar
• groupoid/anders github similar
• chriskempson/base16 github similar
• xnning/GHC-Core-Literature-Review github similar
• anuyts/agda-sessions github similar
• pedagand/typechecker-evolution github similar
• LightAndLight/qtt github similar
• asr/fotc github similar
• Paradoxika/Skeptik github similar
• msp-strath/ZEUG github similar
• jyp/nano-Agda github similar