Similar repositories to jaycech3n/Isabelle-HoTT:

• jaycech3n/Isabelle-HoTT github similar
• RobertHarper/hott-notes github similar
• danistefanovic/build-your-own-x github similar
• groupoid/anders github similar
• gibiansky/IHaskell github similar
• matthesjh/coq-tal github similar
• jonsterling/agda-stc github similar
• jaycech3n/Isabelle-Spartan github similar
• roglo/coq_real github similar
• kcsmnt0/quotient github similar
• Lysxia/coq-recursion-schemes github similar
• tootsuite/mastodon github similar
• jonsterling/agda-effectful-forcing github similar
• jonsterling/guarded-theories github similar
• superhaNds/cwfs github similar
• annenkov/trace-monoids github similar
• uncle-betty/trust-but-verify github similar
• cedille/cedille-developments github similar
• JoeyEremondi/lambda-pi-constraint github similar
• neel-krishnaswami/inverse-bidirectional-typechecking github similar
• leuschel/logen github similar
• Blaisorblade/dot-iris github similar
• RedPRL/kado github similar
• Trebor-Huang/Down-The-Path github similar
• tonyxty/grimoire github similar
• palmskog/coq-program-verification-template github similar
• uds-psl/churchs-thesis-coq github similar
• levjj/esverify-theory github similar
• laMudri/generic-lr github similar
• Trebor-Huang/combinator-nbe github similar
• michaelsproul/dblib-linear github similar
• olivierverdier/GeometricAlgebra github similar
• AndrasKovacs/preordertt github similar
• julianhyde/morel github similar
• jonsterling/lean4-sgdt github similar
• elpinal/subtyping-agda github similar
• oisdk/agda-ring-solver github similar
• TOTBWF/cubical-categories github similar
• Chaaaos/formaltt github similar
• mietek/hilbert-gentzen github similar