Similar repositories to FreeProving/free-proving-code:

• FreeProving/free-proving-code github similar
• danistefanovic/build-your-own-x github similar
• Lysxia/coq-recursion-schemes github similar
• aronisstav/formal-trace-theory github similar
• roglo/coq_real github similar
• AndrasKovacs/ind-ind-types github similar
• JasonGross/slow-coq-examples github similar
• pPomCo/belgames github similar
• jasmin-lang/coqword github similar
• pigworker/InteriorDesign github similar
• ayberkt/simplc github similar
• ipdl/ipdl github similar
• sergei-romanenko/idris-norm-by-traversals github similar
• JakobeBussey/StoneSpaces1130 github similar
• jdublu10/STLC-to-SKI github similar
• CohenCyril/tarjan github similar
• konn/vscode-redtt-diagnostics github similar
• ichistmeinname/free-proving github similar
• ichistmeinname/free-theorems github similar
• yannham/visual-goi github similar
• DmxLarchey/ite-normalisation github similar
• michaelsproul/dblib-linear github similar
• CoqHott/coq-forcing github similar
• danelahman/Directed-Containers github similar
• hablapps/koky github similar
• ayberkt/agda-brzozowski github similar
• ppedrot/ll-coq github similar
• hrb90/purescript-free-group github similar
• morganthomas/purescript-group github similar
• larrytheliquid/zero-cost-coercions github similar
• JasonGross/lob-paper github similar
• uelis/contextual github similar
• ayberkt/Mini-TT github similar
• joom/idris-microKanren github similar
• hablapps/LensAlgebra github similar
• jirkamarsik/lambda-mu github similar
• coq-contribs/relation-algebra github similar
• coq-community/comp-dec-modal github similar
• gogabr/lambekMikulas github similar
• jgrosso/coq-alpha-pearl github similar