Alternatives and similar repositories for tcoq

Users that are interested in tcoq are comparing it to the libraries listed below

• fpvandoorn / LeanCourse24
  Bonn Lean course for winter 24/25
  ☆31Updated 6 months ago
• Coq-Polyhedra / Coq-Polyhedra
  Formalizing convex polyhedra in Coq
  ☆25Updated last year
• ml4tp / gamepad
  A Learning Environment for Theorem Proving
  ☆75Updated 3 years ago
• zhangir-azerbayev / mathlib-semantic-search
  ☆14Updated 2 years ago
• JUrban / deepmath
  deep learning for math
  ☆30Updated 6 years ago
• gstew5 / games
  ☆10Updated 5 years ago
• jtristan / stump-learnable
  ☆16Updated 4 years ago
• madvorak / grammars
  Formal grammars in Lean 3
  ☆8Updated last year
• EngineeringSoftware / roosterize
  Tool for suggesting lemma names in Coq verification projects
  ☆20Updated 2 years ago
• kckennylau / local-langlands-abelian
  Formalization of Statement of Local Langlands Correspondence for Tori
  ☆11Updated 6 years ago
• chasenorman / Formalized-Voting
  ☆13Updated 3 years ago
• OUPL / MLCert
  Certified Machine Learning
  ☆41Updated 4 years ago
• zhangir-azerbayev / lean-chat
  ☆50Updated 3 years ago
• Wenda302 / IsarStep
  Code and dataset for the paper "IsarStep: a Benchmark for High-level Mathematical Reasoning"
  ☆12Updated 4 years ago
• IBM / FormalML
  Formalization of Machine Learning Theory with Applications to Program Synthesis
  ☆76Updated 2 months ago
• thery / coqprime
  Prime numbers for Coq
  ☆40Updated 3 weeks ago
• ramonfmir / lean-scheme
  Schemes in Lean (v2)
  ☆43Updated 4 years ago
• andrew-bedford / coqatoo
  Generates natural language versions of Coq proofs
  ☆51Updated 7 years ago
• ejgallego / pycoq
  Python bindings for the Coq interactive proof assistant
  ☆55Updated 3 years ago
• BartoszPiotrowski / lean-premise-selection
  ☆21Updated last year
• jasonrute / thoughts-on-ai-for-theorem-proving
  ☆27Updated 3 years ago
• siddhartha-gadgil / lean-loris
  Experiments with some ways of automating reasoning in lean 4
  ☆16Updated last year
• tlringer / ml-for-proofs
  An open bibliography of machine learning for formal proof papers
  ☆32Updated last year
• smtcoq / sniper
  ☆36Updated 3 months ago
• jtassarotti / coq-proba
  A Probability Theory Library for the Coq Theorem Prover
  ☆54Updated last year
• arthurpaulino / LeanREPL
  ☆12Updated 2 years ago
• ccodel / verified-encodings
  Verifying encodings into propositional logic in Lean
  ☆12Updated last year
• princeton-vl / MetaGen
  Code for the paper "Learning to Prove Theorems by Learning to Generate Theorems"
  ☆32Updated 4 years ago
• verse-lab / lean-ssr
  LeanSSR: an SSReflect-Like Tactic Language for Lean
  ☆37Updated last week
• LS-Lab / KeYmaeraX-release
  KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems (release)
  ☆82Updated 2 weeks ago