Similar repositories to sspeight93/Papers:

• Kha/semantics-lean github similar
• sspeight93/Papers github similar
• proger/godelt github similar
• canndrew/malk-agda github similar
• 5HT/nying.ma github similar
• groupoid/anders github similar
• peterlefanulumsdaine/higher-inductive-paper github similar
• mattam82/groupoid github similar
• UlrikBuchholtz/nominal-hott github similar
• pigworker/LibAgda github similar
• AndrasKovacs/preordertt github similar
• jespercockx/cubes github similar
• jmchapman/Big-step-Normalisation github similar
• jonsterling/constructive-sheaf-semantics github similar
• devaspot/charity github similar
• jmchapman/TT-in-TT github similar
• thehottgame/theHoTTGameGuide github similar
• JorisCeulemans/sikkel github similar
• pcapriotti/agda-categories github similar
• effectfully/Cubes github similar
• AndrasKovacs/stlc-nbe github similar
• erpuno/upl github similar
• RobertHarper/hott-notes github similar
• mortberg/gen-cart github similar
• mietek/hilbert-gentzen github similar
• cedille/ial github similar
• nponeccop/n2o.hs github similar
• ilya-klyuchnikov/henk github similar
• anuyts/menkar github similar
• dlicata335/cart-cube github similar
• ramonfmir/lean-scheme github similar
• cmu-phil/Spectral github similar
• gebner/hott3 github similar
• gheber/kenzo github similar
• Saizan/cubical-demo github similar
• abooij/wiwikwlhott github similar
• fredefox/cat github similar
• awodey/CatLogNotes github similar
• spire/spire github similar
• nponeccop/HNC github similar