Similar repositories to jasonbaldridge/cg-latex:

• jasonbaldridge/cg-latex github similar
• coq-contribs/icharate github similar
• mvcccccc/nominal-unification github similar
• ChrisBlom/Signs github similar
• jashug/ConstructingII github similar
• nachivpn/syntactic-ni github similar
• clayrat/blott-experiments github similar
• xuanruiqi/algebraic-geometry github similar
• leo-colisson/zx-calculus github similar
• nbenton/coqdomains github similar
• ekmett/groupoids github similar
• arthuraa/beaq github similar
• iblech/scheme-theory-in-agda github similar
• TOTBWF/agda-sgd github similar
• mikeshulman/dirtt github similar
• ekmett/multicategories github similar
• jwiegley/coq-lattice github similar
• jespercockx/reflection-tutorial github similar
• andrisaar/Type-Theory-Foundations github similar
• RedPRL/kado github similar
• JorisCeulemans/sikkel github similar
• m-yac/tt-in-cagda github similar
• jonsterling/coq-domains github similar
• mb64/xtt github similar
• arthuraa/agda-hoas-demo github similar
• willcrichton/rabbot github similar
• ericfinster/higher-alg github similar
• mortberg/AlgTop github similar
• ruliana/racket-examples github similar
• ziman/itt-idris github similar
• syllog1sm/ccg github similar
• kcsmnt0/quotient github similar
• RobertHarper/hott-materials github similar
• wenkokke/msla2014 github similar
• CategoricalData/opl github similar
• CHTT-s18/lecture-notes github similar
• RobertHarper/hott-notes github similar
• edwinb/Ivor github similar
• scott-fleischman/greek-grammar github similar
• avigad/qpf github similar