Similar repositories to coq-contribs/lambek:

• coq-contribs/lambek github similar
• coq-contribs/icharate github similar
• nachivpn/syntactic-ni github similar
• oisdk/finiteness-in-cubical-type-theory github similar
• joom/modal github similar
• mvr/at github similar
• iblech/scheme-theory-in-agda github similar
• TOTBWF/agda-sgd github similar
• jonsterling/sml-logical-framework github similar
• dellsystem/smlunit github similar
• JorisCeulemans/sikkel github similar
• jonsterling/coq-domains github similar
• andreasabel/ipl github similar
• wenkokke/msla2014 github similar
• RobertHarper/hott-notes github similar
• brunjlar/protop github similar
• QuickChick/Luck github similar
• markokoleznik/agda-writer github similar
• rodrigogribeiro/agda-software-foundations 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
• coq-community/topology github similar
• OPLSS/oplss-notes-2017 github similar
• vrahli/NuprlInCoq github similar
• RobertHarper/TILT-Compiler github similar
• iblech/internal-methods github similar
• scott-fleischman/greek-grammar github similar
• effectfully/OTT github similar
• jozefg/miniprl github similar
• DavidMichaelRoberts/AlgebraicTopology2019 github similar
• fredefox/cat github similar
• scmu/foundations-harper github similar
• InitialTypes/Club github similar
• SMLFamily/The-Mechanization-of-Standard-ML github similar
• mikeshulman/catlog github similar
• jyp/nano-Agda github similar
• league/qcheck github similar