Similar repositories to Kaptch/course_project_3year:

• Kaptch/course_project_3year github similar
• jpaykin/QuantumHIT github similar
• DmytroMitin/hott-cubicaltt-exercises github similar
• groupoid/arend github similar
• o4/n2o github similar
• mjendrusch/lean-falso github similar
• awodey/Impredicative github similar
• awkure/hpt github similar
• forked-from-1kasper/tt github similar
• luajit-remake/luajit-remake github similar
• tootsuite/mastodon github similar
• moshott/geocoq github similar
• jonsterling/coq-algebra github similar
• rsdoiel/MLj github similar
• groupoid/anders github similar
• DmytroMitin/arend-exercises github similar
• groupoid/hopf github similar
• felixwellen/FastFluidDynamics github similar
• nponeccop/cubicaltt github similar
• Kha/HoTT-book-agda github similar
• o4/proto github similar
• MaiaVictor/escoc-libs-legacy github similar
• groupoid/infinity github similar
• awkure/luna github similar
• NickStephens/lambda-x github similar
• nakaday/Motivic_Verona github similar
• MaiaVictor/Nasic-legacy github similar
• Boarders/agda-halting github similar
• Odomontois/Tincat github similar
• jacksontvd/langlands_sp21 github similar
• kbuzzard/etale_experiments github similar
• o29/n2o github similar
• groupoid/agda github similar
• zmwangx/Typeset-EGA-SGA github similar
• atemerev/erlang_ngondro github similar
• erpuno/act github similar
• devaspot/lisp github similar
• arthurpaulino/LeanMusic github similar
• groupoid/alonzo github similar
• DavidJaz/Cohesion github similar