Similar repositories to cutsea110/magma:

• cutsea110/magma github similar
• tetrapharmakon/isbell-frames github similar
• awodey/ritop github similar
• jonsterling/effectful-typesetting github similar
• yforster/coq-synthetic-computability github similar
• RichardMoot/Grail0 github similar
• yigitozkavci/glow github similar
• CoqHott/coq-effects github similar
• kcsmnt0/proof-trees github similar
• oisdk/finiteness-in-cubical-type-theory github similar
• Vierkantor/refinement-parsers github similar
• andrejbauer/dependent-type-theory-syntax github similar
• nulvinge/Linear-Abstract-Machine github similar
• jules-hedges/synthetic-probability github similar
• maxsnew/grammars-and-semantic-actions github similar
• jcreedcmu/lambda-maps github similar
• anjapetkovic/type-theory-slovene-dictionary github similar
• georgejkaye/lamviz github similar
• niccoloveltri/final-pfin github similar
• punkdit/categories github similar
• mvr/at github similar
• masaeedu/monoidal github similar
• m-yac/agda-knots github similar
• tomdjong/domain-theory-in-uf github similar
• jonsterling/agda-synthetic-domain-theory github similar
• iblech/scheme-theory-in-agda github similar
• ericfinster/opetopic-types github similar
• maxsnew/virtual-equipments github similar
• davidlazar/haskell-semantics github similar
• RichardMoot/LinearOne github similar
• ak3n/abt-zoo github similar
• takanuva/coc github similar
• haskell-rewriting/term-rewriting github similar
• lambdabetaeta/modal-logics github similar
• peterlefanulumsdaine/palmgren-archive github similar
• jonsterling/tt github similar
• robrix/Manifold github similar
• jonsterling/coq-domains github similar
• joom/proof-tree-builder github similar
• jonsterling/coq-guarded-computational-type-theory github similar