Similar repositories to cbenzmueller/LogiKEy:

• cbenzmueller/LogiKEy github similar
• leanprover-community/lean-web-editor github similar
• chasenorman/Formalized-Voting github similar
• siddhartha-gadgil/lean-loris github similar
• ekpyron/AOT github similar
• paulaneeley/modal github similar
• leanprover/functional_programming_in_lean github similar
• gebner/quote4 github similar
• avigad/mathematics_in_lean_source github similar
• avigad/lamr github similar
• jrclogic/SMCDEL github similar
• bzhan/holpy github similar
• dschepler/coq-sequent-calculus github similar
• erohkohl/mlsolver github similar
• andrew-bedford/coqatoo github similar
• anton-trunov/csclub-coq-course-spring-2021 github similar
• AU-COBRA/ConCert github similar
• kovvalsky/LangPro github similar
• leanprover-community/mathlib4 github similar
• arthurpaulino/lean4-metaprogramming-book github similar
• coq/platform github similar
• openai/miniF2F github similar
• ilyasergey/pnp github similar
• ezyang/logitext github similar
• formalabstracts/formalabstracts github similar
• allenai/scifact github similar
• kbuzzard/xena github similar
• Macaulay2/M2 github similar
• jrh13/hol-light github similar
• leanprover-community/lean github similar
• dselsam/certigrad github similar
• jscoq/jscoq github similar
• OpenLogicProject/OpenLogic github similar
• CatalaLang/catala github similar
• cvc5/cvc5 github similar
• leanprover-community/mathlib github similar
• hasktorch/hasktorch github similar
• cgpotts/cs224u github similar
• jozefg/learn-tt github similar
• leanprover/lean4 github similar