Similar repositories to glangmead/hott_cmu80818:
glangmead/hott_cmu80818
github
similar
danistefanovic/build-your-own-x
github
similar
InanimateDream/disk
github
similar
groupoid/anders
github
similar
josh-hs-ko/FLOLAC-14
github
similar
asr/fotc
github
similar
riaqn/python-nvidia-codec
github
similar
RobertHarper/hott-notes
github
similar
jmchapman/TT-in-TT
github
similar
lambdabetaeta/modal-logics
github
similar
AndrasKovacs/stlc-nbe
github
similar
L-TChen/ModalTypeTheory
github
similar
CHTT-s18/lecture-notes
github
similar
mortberg/gen-cart
github
similar
cedille/ial
github
similar
favonia/hdtt2020-notes
github
similar
vrahli/NuprlInCoq
github
similar
cmu-phil/Spectral
github
similar
steshaw/lennart-lambda
github
similar
OPLSS/oplss-notes-2018
github
similar
pedagand/typechecker-evolution
github
similar
jespercockx/agda-lecture-notes
github
similar
dlicata335/cart-cube
github
similar
jldodds/coq-lean-cheatsheet
github
similar
awodey/CatLogNotes
github
similar
UlfNorell/agda-summer-school
github
similar
arthurpaulino/lean4-metaprogramming-book
github
similar
zick/Magical-Language-Lyrical-Lisp
github
similar
mikeshulman/catlog
github
similar
jyp/nano-Agda
github
similar
gebner/hott3
github
similar
qinglee/GEB
github
similar
martinescardo/TypeTopology
github
similar
DeepSpec/dsss17
github
similar
andrejbauer/Homotopy
github
similar
TheoWinterhalter/formal-type-theory
github
similar
Gbury/mSAT
github
similar
dvanhorn/redex-aam-tutorial
github
similar
OpenPAL/TypeAndProof
github
similar
UniMath/TypeTheory
github
similar