Similar repositories to marklemay/calculus-of-constructions:

• marklemay/calculus-of-constructions github similar
• bbarker/IntelliJATS github similar
• ats-lang/ats-lang.github.io github similar
• TheoWinterhalter/phd-thesis github similar
• codyroux/name-the-biggest-number github similar
• snowleopard/alga-paper github similar
• andrejbauer/spartan-type-theory github similar
• githwxi/ATS-Postiats github similar
• math-comp/math-comp github similar
• ocaml/opam github similar
• plfa/plfa.github.io github similar
• agda/agda github similar
• dhall-lang/dhall-lang github similar
• coq/coq github similar
• HypothesisWorks/hypothesis github similar
• casey/just github similar
• grafana/grafana github similar
• ansible/ansible github similar
• moby/moby github similar
• torvalds/linux github similar