Similar repositories to clayrat/sequent-calc:

• clayrat/sequent-calc github similar
• danistefanovic/build-your-own-x github similar
• gibiansky/IHaskell github similar
• hecrj/iced github similar
• groupoid/anders github similar
• effectfully/proto-tt github similar
• pigworker/Ming github similar
• sequents/code github similar
• tootsuite/mastodon github similar
• aquynh/capstone github similar
• tuvtran/project-based-learning github similar
• AndrasKovacs/preordertt github similar
• shaunlebron/parinfer github similar
• ahmadsalim/well-typed-agda-interpreter github similar
• scala-std/std-data-quantified github similar
• mankyKitty/simply-lf-easier github similar
• clayrat/idris-linear github similar
• fsestini/tt-in-cubical github similar
• robrix/isometry github similar
• ysharoda/Deriving-Definitions github similar
• pigworker/TypesWhoSayNi github similar
• gallais/typing-with-leftovers github similar
• dbp/howtoprovefullabstraction github similar
• omega12345/RefactorAgda github similar
• visual-systems/philosophy github similar
• jdrprod/BF github similar
• RobertHarper/hott-notes github similar
• Trebor-Huang/Down-The-Path github similar
• cdfa/frugel github similar
• ahmadsalim/davidlang github similar
• gebner/lean4 github similar
• anton-trunov/coq-lecture-notes github similar
• neel-krishnaswami/linearml github similar
• ollef/region github similar
• svenkeidel/sturdy github similar
• jespercockx/agda2scheme github similar
• roglo/coq_real github similar
• cblp/funlangs github similar
• mietek/hilbert-gentzen github similar
• clayrat/sequent-calc-talk github similar