Similar repositories to HoTT-Intro/Agda:

• HoTT-Intro/Agda github similar
• danistefanovic/build-your-own-x github similar
• RobertHarper/hott-notes github similar
• gibiansky/IHaskell github similar
• UniMath/agda-unimath github similar
• hecrj/iced github similar
• martinescardo/TypeTopology github similar
• wenkokke/schmitty github similar
• jonsterling/dreamtt github similar
• guillaumebrunerie/initiality github similar
• kcsmnt0/quotient github similar
• Trebor-Huang/Down-The-Path github similar
• Eugeny/terminus github similar
• jespercockx/ataca github similar
• msp-strath/TypOS github similar
• gallais/agdarsec github similar
• conal/denotational-hardware github similar
• AndrasKovacs/polynomial-model github similar
• HoTT/EPIT-2020 github similar
• molikto/mlang github similar
• mortberg/yacctt github similar
• FrozenWinters/stlc github similar
• martinescardo/HoTT-UF-Agda-Lecture-Notes github similar
• RedPRL/cooltt github similar
• jonsterling/agda-calf github similar
• awodey/CatLogNotes github similar
• jozefg/blott github similar
• agda/agda-categories github similar
• effectfully/Generic github similar
• jozefg/nbe-for-mltt github similar
• plt-amy/1lab github similar
• algebraic-graphs/agda github similar
• anuyts/menkar github similar
• andreasabel/miniagda github similar
• AndrasKovacs/setoidtt github similar
• mikeshulman/catlog github similar
• tuvtran/project-based-learning github similar
• banacorn/agda-mode-vscode github similar
• dlicata335/cart-cube github similar
• edwinb/SPLV20 github similar