Similar repositories to knisht/arend-ct:

• hecrj/iced github similar
• danistefanovic/build-your-own-x github similar
• knisht/arend-ct github similar
• NetchX/Netch github similar
• tonyxty/Galois github similar
• dannypsnl/inductive github similar
• wenkokke/polygen github similar
• raptazure/kweh github similar
• tlringer/ml-for-proofs github similar
• martinescardo/HoTTEST-Summer-School github similar
• lexi-lambda/monad-validate github similar
• mikeshulman/ohtt github similar
• smlnj/smlnj github similar
• oven-sh/bun github similar
• pabloariasal/protofmt github similar
• pigworker/SmolCat github similar
• plt-amy/cubical-methods github similar
• ronami/HypeScript github similar
• maxsnew/cubical-cbpv github similar
• ralsei/six-eyes github similar
• nmvdw/RezkCompletion github similar
• leanprover/std4 github similar
• scmlab/I-Love-Lean github similar
• msuperdock/vim-agda github similar
• uncle-betty/trust-but-verify github similar
• tonyxty/FunWithArend github similar
• jonsterling/guarded-theories github similar
• JacquesCarette/agda-algebras github similar
• gallais/idris-free github similar
• JLimperg/msc-thesis-code github similar
• amblafont/UniversalII github similar
• pamellies/models-of-programming-languages github similar
• xuanruiqi/commalg github similar
• tomdjong/TypeTopology github similar
• elpinal/duploids github similar
• newk5/flui github similar
• JLimperg/well-founded-corecursion github similar
• bulenkov/PngOptimizer github similar
• nmvdw/GrpdHITs github similar
• jonsterling/effectful-typesetting github similar