Similar repositories to pcapriotti/hott-exercises:

• pcapriotti/hott-exercises github similar
• groupoid/agda github similar
• gibiansky/IHaskell github similar
• plt-amy/cubical-methods github similar
• groupoid/hopf github similar
• DmytroMitin/arend-exercises github similar
• groupoid/infinity github similar
• Kha/HoTT-book-agda github similar
• o4/proto github similar
• tcampion/Semisimplicial github similar
• groupoid/anders github similar
• Kaptch/course_project_3year github similar
• o29/n2o github similar
• jdoughertyii/hott-exercises github similar
• pigworker/SmolCat github similar
• ralsei/six-eyes github similar
• forked-from-1kasper/tt github similar
• NYNJA-MC/protocol github similar
• forked-from-1kasper/cubicaltt-vscode github similar
• groupoid/arend github similar
• o4/n2o github similar
• mjendrusch/lean-falso github similar
• awodey/Impredicative github similar
• awkure/hpt github similar
• leanprover-community/vscode-lean4 github similar
• danistefanovic/build-your-own-x github similar
• o1/nitro github similar
• groupoid/homotopy github similar
• o53/n2o github similar
• uds-psl/cbv-lambda-calculus-reasonable github similar
• 5HT/DependentLinearPi github similar
• mortberg/AlgTop github similar
• RobertHarper/hott-notes github similar
• kcsmnt0/quotient github similar
• felixwellen/FastFluidDynamics github similar
• skeuchel/mtc github similar
• fangyi-zhou/pallvm github similar
• peterlefanulumsdaine/cartmell-thesis github similar
• 5HT/valery github similar
• leanprover/lean4-nightly github similar