Similar repositories to andreasabel/helf:

• andreasabel/helf github similar
• gibiansky/IHaskell github similar
• danistefanovic/build-your-own-x github similar
• andrejbauer/miniLCF github similar
• andreasabel/ipl github similar
• IanOrton/cubical-topos-experiments github similar
• andreasabel/strong-normalization github similar
• pigworker/Box github similar
• mr-ohman/logrel-mltt github similar
• L-TChen/MtacAR github similar
• david-christiansen/epigram1 github similar
• RobertHarper/hott-notes github similar
• agda/agda-spec github similar
• amintimany/CTDT github similar
• TOTBWF/agda-sgd github similar
• jonsterling/sml-logical-framework github similar
• theoremprover-museum/LCF77 github similar
• robsimmons/abbot github similar
• gallais/aGdaREP github similar
• jozefg/independence-of-the-continuum-hypothesis github similar
• mortberg/TypeTheory github similar
• jespercockx/reflection-tutorial github similar
• msp-strath/ZEUG github similar
• nbenton/coqdomains github similar
• rodrigogribeiro/unification github similar
• maxsnew/grammars-and-semantic-actions github similar
• jonsterling/lcf-sequent-calculus-example github similar
• pigworker/Bi71 github similar
• pigworker/EGTBS github similar
• mikeshulman/cohesivett github similar
• lambdabetaeta/modal-logics github similar
• yannham/visual-goi github similar
• AndrasKovacs/qiit-generalizations github similar
• matijapretnar/aeff github similar
• kwf/Presburger github similar
• k6io/k6 github similar
• tuvtran/project-based-learning github similar
• Gabriel439/delta-lambda github similar
• jonsterling/coq-domains github similar
• robrix/Manifold github similar