Similar repositories to Borschemancer/axiomatic-sets:

• Borschemancer/axiomatic-sets github similar
• leanprover-community/vscode-lean4 github similar
• danistefanovic/build-your-own-x github similar
• prekel/chapgame github similar
• lemastero/hott-wiki github similar
• aleksey-makarov/melf github similar
• mb64/cubical-free-monads github similar
• ericfinster/opetopictt github similar
• vladimir-g/zoglog github similar
• vladimir-g/python-tkvdb github similar
• coq-community/coq-performance-tests github similar
• JasonGross/coq-scripts github similar
• duckki/lean-quantum github similar
• Trebor-Huang/ZFC github similar
• jdrprod/automatik github similar
• minkiminki/Ordinal github similar
• mvr/at github similar
• HarrisonGrodin/agda-modtt github similar
• jonsterling/agda-synthetic-domain-theory github similar
• forked-from-1kasper/anders github similar
• mb64/xtt github similar
• arthuraa/agda-hoas-demo github similar
• Kalimehtar/russian-lang github similar
• tcampion/Semisimplicial github similar
• adrieng/melitte github similar
• polytypic/rea-ml github similar
• plt-amy/cubical-methods github similar
• kcsmnt0/quotient github similar
• nachivpn/k github similar
• mb64/LC-interpreter github similar
• appliedfm/vstyle github similar
• Trebor-Huang/Down-The-Path github similar
• nyuichi/LeanHOL github similar
• mb64/simple-lambda-prolog github similar
• dunnl/tealeaves github similar
• ualib/ualib.github.io github similar
• ivanbakel/hout-prover github similar
• kangrongji/cubical-classics github similar
• JorisCeulemans/sikkel github similar
• atennapel/tinka-hs github similar