Similar repositories to Boarders/agda-halting:

• Boarders/agda-halting github similar
• groupoid/arend github similar
• o4/n2o github similar
• mjendrusch/lean-falso github similar
• awodey/Impredicative github similar
• awkure/hpt github similar
• DmytroMitin/arend-exercises github similar
• groupoid/hopf github similar
• felixwellen/FastFluidDynamics github similar
• jpaykin/QuantumHIT github similar
• Kha/HoTT-book-agda github similar
• o4/proto github similar
• moshott/geocoq github similar
• Odomontois/Tincat github similar
• o29/n2o github similar
• Kaptch/course_project_3year github similar
• devaspot/lisp github similar
• arthurpaulino/LeanMusic github similar
• MaiaVictor/escoc-libs-legacy github similar
• groupoid/infinity github similar
• valis/DT2018 github similar
• groupoid/agda github similar
• tcampion/Semisimplicial github similar
• leanprover/lean4-nightly github similar
• nmvdw/Three-HITs github similar
• pcapriotti/hott-exercises github similar
• o1/n2o github similar
• groupoid/homotopy github similar
• 5HT/tonpa.guru github similar
• mortberg/AlgTop github similar
• annenkov/two-level github similar
• kcsmnt0/quotient github similar
• liamoc/hilbert github similar
• kekyo/TypeInferencer github similar
• groupoid/groupoid.space github similar
• polytypic/f-omega-mu github similar
• xavierleroy/cdf-mech-sem github similar
• foreverbell/verified github similar
• felixwellen/DCHoTT-Agda github similar
• o3/n2o github similar