Similar repositories to vrahli/opentt:

• vrahli/opentt github similar
• yforster/coq-synthetic-computability github similar
• georgejkaye/syco8-abstract github similar
• Trebor-Huang/agda-linear github similar
• clayrat/coherence-spaces github similar
• mvr/at github similar
• jonsterling/agda-synthetic-domain-theory github similar
• aslanix/SmallStepNI github similar
• thibautbenjamin/catt github similar
• ak3n/abt-zoo github similar
• JorisCeulemans/sikkel github similar
• jonsterling/coq-domains github similar
• ualib/ualib.github.io github similar
• vcvpaiva/DialecticaCategories github similar
• ecavallo/ptt github similar
• RobertHarper/hott-notes github similar
• bobatkey/agda-metric-reals github similar
• vrahli/NuprlInCoq github similar
• neel-krishnaswami/inverse-bidirectional-typechecking github similar
• coq-community/semantics github similar
• neel-krishnaswami/linearml github similar
• frex-project/agda-fragment github similar
• kcrary/cmtool github similar
• plum-umd/cgc github similar
• fizruk/rzk github similar
• mtt-lang/mtt-lang github similar
• mr-ohman/logrel-mltt github similar
• pamellies/lambda-calculus-and-categories github similar
• WhatisRT/meta-cedille github similar
• coq-community/hydra-battles github similar
• nick8325/twee github similar
• coq-community/topology github similar
• wouter-swierstra/xmonad github similar
• FrozenWinters/stlc github similar
• pamellies/models-of-programming-languages github similar
• andrejbauer/notes-on-realizability github similar
• effectfully/OTT github similar
• DavidMichaelRoberts/AlgebraicTopology2019 github similar
• fredefox/cat github similar
• AndrasKovacs/system-f-omega github similar