Alternatives and similar repositories for ribbon

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

• shehper / AC-Solver
  A long-horizon, sparse-reward math environment for reinforcement learning. Official code repo for "What makes Math problems hard for rein…
  ☆29Updated 5 months ago
• cmu-l3 / ntp-toolkit
  Neural theorem proving toolkit: data extraction tools for Lean 4
  ☆27Updated last week
• girving / ray
  Formalizing results about the Mandelbrot set in Lean
  ☆21Updated 7 months ago
• zhangir-azerbayev / ProofNet
  Benchmark for undergraduate-level formal mathematics
  ☆108Updated 8 months ago
• zhangir-azerbayev / repl
  A simple REPL for Lean 4, returning information about errors and sorries.
  ☆11Updated 2 years ago
• rahul3613 / ProofNet-lean4
  ProofNet dataset ported into Lean 4
  ☆21Updated 2 weeks ago
• Purewhite2019 / formal_problem_solving_main
  Official implementation of "Beyond Theorem Proving: Formulation, Framework and Benchmark for Formal Problem-Solving"
  ☆20Updated last month
• kckennylau / local-langlands-abelian
  Formalization of Statement of Local Langlands Correspondence for Tori
  ☆11Updated 6 years ago
• leanprover-community / lean-client-python
  Python talking to the Lean theorem prover
  ☆44Updated 3 years ago
• jesse-michael-han / lean-tpe-public
  The Lean Theorem Proving Environment
  ☆14Updated 2 years ago
• ATOMSLab / LeanChemicalTheories
  ☆34Updated last year
• cmu-l3 / llmlean
  LLMs + Lean, on your laptop or in the cloud
  ☆164Updated 2 weeks ago
• jasonrute / lean_proof_recording
  Proof recording for Lean 3
  ☆27Updated 3 years ago
• zhangir-azerbayev / lean-chat-vscode
  ☆25Updated 2 years ago
• BartoszPiotrowski / lean-premise-selection
  ☆21Updated last year
• jesse-michael-han / lean-step-public
  Proof artifact co-training for Lean
  ☆45Updated 2 years ago
• harmonic-ai / datasets
  Harmonic Datasets
  ☆40Updated 11 months ago
• google-deepmind / debate
  Formalizing stochastic doubly-efficient debate
  ☆107Updated 8 months ago
• eric-wieser / lean-matrix-cookbook
  The matrix cookbook, proved in the Lean theorem prover
  ☆110Updated 3 weeks ago
• morph-labs / lean-abc-true-almost-always
  ☆70Updated 2 weeks ago
• cmu-l3 / ntptutorial-II
  Neural theorem proving tutorial, version II
  ☆38Updated last year
• trishullab / PutnamBench
  An evaluation benchmark for undergraduate competition math in Lean4, Isabelle, Coq, and natural language.
  ☆136Updated 3 weeks ago
• fzyzcjy / ai_math_paper_list
  AI for Mathematics Paper List
  ☆17Updated 5 months ago
• SorryDB / SorryDB
  SorryDB indexes sorries in public lean repositories
  ☆22Updated this week
• pitmonticone / LeanProject
  Template for blueprint-driven formalization projects in Lean.
  ☆57Updated last week
• Some-random / theorem-proving-reasoning
  Code for the paper LeanReasoner: Boosting Complex Logical Reasoning with Lean: https://arxiv.org/pdf/2403.13312.pdf
  ☆22Updated last year
• teorth / symmetric_project
  ☆91Updated last year
• AlexKontorovich / PrimeNumberTheoremAnd
  blueprint for prime number theorem and more
  ☆169Updated this week
• GasStationManager / LeanTool
  A "code intepreter" for Lean
  ☆52Updated last week
• openai / lean-gym
  ☆188Updated 2 years ago