Similar repositories to ayberkt/Mini-TT:

• ayberkt/Mini-TT github similar
• Lapin0t/induction-recursion github similar
• franleplant/frd-lisp github similar
• wilbowma/infernalize github similar
• danistefanovic/build-your-own-x github similar
• dlicata335/cubicalexperiments github similar
• trommler/VeriGHC github similar
• jonsterling/agda-abt github similar
• aronisstav/formal-trace-theory github similar
• yurrriq/idris-logic github similar
• smimram/catt github similar
• robrix/Manifold github similar
• RedPRL/sml-cats github similar
• effectfully/Cubes github similar
• pigworker/Ohrid-Agda github similar
• jonsterling/coq-guarded-computational-type-theory github similar
• DmxLarchey/ite-normalisation github similar
• ziman/itt github similar
• edgan8/clampcheck github similar
• ericfinster/catt github similar
• asajeffrey/finite-dtypes github similar
• ak3n/system-f-pop github similar
• ssomayyajula/elab github similar
• awkure/purescript-birds github similar
• elpinal/rain-ml github similar
• gergoerdi/syntactic-stlc github similar
• umazalakain/fyp github similar
• meta-logic/coq-ll github similar
• fsestini/tt-in-cubical github similar
• jonsterling/tt github similar
• m-yac/tt-in-cagda github similar
• jonsterling/sml-pronominal-ml github similar
• ivan-m/transmogrify github similar
• jozefg/independence-of-the-continuum-hypothesis github similar
• ayberkt/sml-colors github similar
• ayberkt/tinyrw github similar
• jozefg/concurrent-stack-with-helping github similar
• rodrigogribeiro/generic github similar
• dbp/howtoproveacompiler github similar
• MathiasVP/Alpha github similar