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 2 weeks ago
• girving / ray
  Formalizing results about the Mandelbrot set in Lean
  ☆21Updated 8 months ago
• cmu-l3 / ntp-toolkit
  Neural theorem proving toolkit: data extraction tools for Lean 4
  ☆27Updated last week
• kckennylau / local-langlands-abelian
  Formalization of Statement of Local Langlands Correspondence for Tori
  ☆11Updated 6 years ago
• zhangir-azerbayev / ProofNet
  Benchmark for undergraduate-level formal mathematics
  ☆108Updated 9 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
  ☆22Updated last month
• zhangir-azerbayev / mathlib-semantic-search
  ☆14Updated 2 years ago
• AlexKontorovich / PrimeNumberTheoremAnd
  blueprint for prime number theorem and more
  ☆173Updated last week
• leanprover-community / lean-client-python
  Python talking to the Lean theorem prover
  ☆45Updated 3 years ago
• harmonic-ai / datasets
  Harmonic Datasets
  ☆40Updated last year
• GasStationManager / CodeProofTheArena
  Lean coding problem solving challenge website with proof verification
  ☆11Updated last week
• teorth / expdb
  Exponent pair database
  ☆59Updated this week
• jesse-michael-han / lean-gptf
  Interactive neural theorem proving in Lean
  ☆123Updated 3 years ago
• google-deepmind / debate
  Formalizing stochastic doubly-efficient debate
  ☆107Updated 9 months ago
• ATOMSLab / LeanChemicalTheories
  ☆34Updated last year
• ah1112 / synthetic_euclid_4
  ☆11Updated last year
• eric-wieser / lean-matrix-cookbook
  The matrix cookbook, proved in the Lean theorem prover
  ☆112Updated last month
• riccardobrasca / flt3
  Proof in Lean of Fermat Last Theorem for exponent 3
  ☆38Updated last year
• yangky11 / lean4-example
  ☆13Updated 2 weeks ago
• jsm28 / AperiodicMonotilesLean
  Lean formalization of aperiodic monotiles papers (staging repository for material not yet in mathlib)
  ☆13Updated 2 weeks ago
• zhangir-azerbayev / lean-chat-vscode
  ☆25Updated 2 years ago
• jesse-michael-han / lean-step-public
  Proof artifact co-training for Lean
  ☆45Updated 2 years ago
• cmu-l3 / llmlean
  LLMs + Lean, on your laptop or in the cloud
  ☆169Updated last month
• wellecks / llmstep
  llmstep: [L]LM proofstep suggestions in Lean 4.
  ☆137Updated last year
• riccardobrasca / LFTCM2024
  Repository for the conference LFTCM2024
  ☆11Updated last year
• Purewhite2019 / formal_problem_solving_main
  Official implementation of "Beyond Theorem Proving: Formulation, Framework and Benchmark for Formal Problem-Solving"
  ☆21Updated 2 months ago
• BartoszPiotrowski / lean-premise-selection
  ☆21Updated last year
• jesse-michael-han / lean-tpe-public
  The Lean Theorem Proving Environment
  ☆14Updated 2 years ago
• augustepoiroux / LeanInteract
  LeanInteract: A Python Interface for Lean 4
  ☆43Updated this week