Similar repositories to coq-contribs/icharate:

• wenkokke/side-effects-in-english github similar
• coq-contribs/icharate github similar
• coq-contribs/lambek github similar
• StergiosCha/MTT-semantics_book github similar
• ChrisBlom/Signs github similar
• nachivpn/syntactic-ni github similar
• oisdk/finiteness-in-cubical-type-theory github similar
• joom/modal github similar
• mvr/at github similar
• wenkokke/NLQ github similar
• iblech/scheme-theory-in-agda github similar
• jasonbaldridge/cg-latex github similar
• TOTBWF/agda-sgd github similar
• jonsterling/sml-logical-framework github similar
• wenkokke/msla2014 github similar
• dellsystem/smlunit github similar
• JorisCeulemans/sikkel github similar
• jonsterling/coq-domains github similar
• andreasabel/ipl github similar
• rodrigogribeiro/agda-software-foundations github similar
• syllog1sm/ccg github similar
• ayberkt/grammar-inference github similar
• RobertHarper/hott-notes github similar
• edwinb/Ivor github similar
• brunjlar/protop github similar
• gchrupala/morfette github similar
• wesen/TreeMaker github similar
• scott-fleischman/greek-grammar github similar
• QuickChick/Luck github similar
• effectfully/OTT github similar
• markokoleznik/agda-writer github similar
• vlopezj/coq-course github similar
• cedille/cedille-developments github similar
• zaklogician/typical-antiphrasis github similar
• willcrichton/rabbot github similar
• mr-ohman/logrel-mltt github similar
• m0ar/lollipop github similar
• OPLSS/oplss-notes-2017 github similar
• vrahli/NuprlInCoq github similar
• coq-community/topology github similar