Similar repositories to davidnowak/bellantonicook:

• davidnowak/bellantonicook github similar
• dschepler/coq-zorns-lemma github similar
• jules-hedges/synthetic-probability github similar
• logsem/mitten_preorder github similar
• RobertHarper/hott-notes github similar
• zaklogician/typical-antiphrasis github similar
• dschepler/coq-sequent-calculus github similar
• awodey/CatLogNotes github similar
• amintimany/Categories github similar
• UniMath/TypeTheory github similar
• martinescardo/TypeTopology github similar
• ezyang/logitext github similar
• GeoCoq/GeoCoq github similar
• mattam82/Coq-Equations github similar
• martinescardo/HoTT-UF-Agda-Lecture-Notes github similar
• agda/agda-categories github similar
• rkirsling/modallogic github similar
• EgbertRijke/HoTT-Intro github similar
• AndrasKovacs/smalltt github similar
• mortberg/cubicaltt github similar
• plfa/plfa.github.io github similar
• jozefg/learn-tt github similar
• coq/coq github similar