Similar repositories to thehottgame/theHoTTGameGuide:

• thehottgame/theHoTTGameGuide github similar
• danistefanovic/build-your-own-x github similar
• gibiansky/IHaskell github similar
• marcinjangrzybowski/cubeViz2 github similar
• groupoid/anders github similar
• RobertHarper/hott-notes github similar
• konn/laurent github similar
• juxt/crux github similar
• toeverything/AFFiNE github similar
• silvanshade/agda-nr-cats github similar
• xuanruiqi/algebraic-geometry github similar
• favonia/ocaml-objdump github similar
• tlringer/ml-for-proofs github similar
• TOTBWF/cooltt-categories github similar
• jonsterling/agda-synthetic-domain-theory github similar
• CMU-HoTT/serre-finiteness github similar
• ralsei/six-eyes github similar
• RedPRL/mugen github similar
• tcampion/Semisimplicial github similar
• xuanruiqi/commalg github similar
• tomdjong/TypeTopology github similar
• elpinal/duploids github similar
• RedPRL/asai github similar
• marcinjangrzybowski/cubeViz github similar
• TOTBWF/agda-groups github similar
• superhaNds/cwfs github similar
• kangrongji/cubical-classics github similar
• mr-ohman/intuitionistic-normalization github similar
• UlrikBuchholtz/cubical-hott-agda github similar
• nmvdw/GrpdHITs github similar
• jonsterling/effectful-typesetting github similar
• xuanruiqi/categories github similar
• pigworker/SmolCat github similar
• ericfinster/catt.io github similar
• jozefg/undergraduate-thesis github similar
• jashug/ConstructingII github similar
• jmchapman/categories github similar
• UlrikBuchholtz/nominal-hott github similar
• oisdk/finiteness-in-cubical-type-theory github similar
• arend-lang/arend-contrib github similar