Similar repositories to ichistmeinname/free-proving:

• danistefanovic/build-your-own-x github similar
• ichistmeinname/free-proving github similar
• RobertHarper/hott-notes github similar
• Lysxia/coq-recursion-schemes github similar
• FreeProving/free-proving-code github similar
• ziman/itt github similar
• ayberkt/Mini-TT github similar
• ankitku/TAL0 github similar
• meilisearch/MeiliSearch github similar
• tootsuite/mastodon github similar
• tuvtran/project-based-learning github similar
• garrigue/certint github similar
• roglo/coq_real github similar
• michaelsproul/dblib-linear github similar
• DmxLarchey/ite-normalisation github similar
• shaunlebron/parinfer github similar
• LightAndLight/parametricity-proofs github similar
• elpinal/focused-modules github similar
• philzook58/lens-algebra github similar
• andreasabel/ipl github similar
• umazalakain/fyp github similar
• Lysxia/system-F github similar
• wilbowma/infernalize github similar
• thery/T2048 github similar
• andgate/type-theory-compiler github similar
• twanvl/ttie github similar
• finnteegen/pflp github similar
• aspiwack/peppermint-prover github similar
• proofengineering/proofengineering-bib github similar
• jkoppel/thermometer-continuations github similar
• jonsterling/lcf-sequent-calculus-example github similar
• lthms/FreeSpec github similar
• ichistmeinname/free-theorems github similar
• olivierverdier/GeometricAlgebra github similar
• hablapps/LensAlgebra github similar
• robrix/Manifold github similar
• paf31/purescript-smash github similar
• dbp/howtoproveacompiler github similar
• mathandley/RTick github similar
• larrytheliquid/mltt-lecture github similar