Alternatives and similar repositories for sofa-designer

Users that are interested in sofa-designer are comparing it to the libraries listed below

• hongseok-yang / CLT21
  ☆39Updated 3 years ago
• hongseok-yang / probprog20
  ☆35Updated 5 years ago
• napkin-community / solutions
  📝 Solutions of "An Infinitely Large Napkin"
  ☆31Updated last week
• rahul3613 / ProofNet-lean4
  ProofNet dataset ported into Lean 4
  ☆28Updated 5 months ago
• teorth / symmetric_project
  ☆93Updated 2 years ago
• utensil / lean4_jupyter
  A Lean 4 Jupyter kernel via repl
  ☆28Updated last year
• teorth / pfr
  Repository for formalization of the Polynomial Freiman Ruzsa conjecture (and related results)
  ☆195Updated this week
• jesse-michael-han / lean-gptf
  Interactive neural theorem proving in Lean
  ☆130Updated 3 years ago
• kckennylau / local-langlands-abelian
  Formalization of Statement of Local Langlands Correspondence for Tori
  ☆12Updated 6 years ago
• fpvandoorn / carleson
  A formalized proof of Carleson's theorem in Lean
  ☆77Updated last week
• jasonrute / thoughts-on-ai-for-theorem-proving
  ☆27Updated 4 years ago
• eric-wieser / lean-matrix-cookbook
  The matrix cookbook, proved in the Lean theorem prover
  ☆121Updated 2 months ago
• leanprover-community / lean-client-python
  Python talking to the Lean theorem prover
  ☆46Updated 4 years ago
• zhangir-azerbayev / mathlib-semantic-search
  ☆15Updated 2 years ago
• jesse-michael-han / lean-step-public
  Proof artifact co-training for Lean
  ☆45Updated 2 years ago
• google / formal-ml
  ☆25Updated 4 years ago
• albertqjiang / INT
  Official code for paper: INT: An Inequality Benchmark for Evaluating Generalization in Theorem Proving
  ☆39Updated 2 years ago
• zhangir-azerbayev / lean-chat
  ☆51Updated 3 years ago
• ssimplexity / CS492_spring2024
  KAIST. CS492 Algorithms for NP-hard Problems. Spring 2024.
  ☆23Updated last year
• pitmonticone / LeanProject
  A template for blueprint-driven formalization projects in Lean.
  ☆76Updated this week
• riccardobrasca / flt3
  Proof in Lean of Fermat Last Theorem for exponent 3
  ☆40Updated last year
• justincasher / lean-explore
  A search engine for Lean 4 declarations
  ☆42Updated last week
• leanprover / vscode-lean4
  Visual Studio Code extension for the Lean 4 proof assistant
  ☆238Updated last week
• hongseok-yang / probprog19
  ☆28Updated 6 years ago
• AlexKontorovich / PrimeNumberTheoremAnd
  blueprint for prime number theorem and more
  ☆204Updated this week
• google-deepmind / debate
  Formalizing stochastic doubly-efficient debate
  ☆112Updated last year
• PatrickMassot / lean-verbose
  Very controlled natural language tactics for Lean
  ☆64Updated last year
• openai / lean-gym
  ☆195Updated 2 years ago
• leanprover-community / tutorials4
  Lean 4 tutorial files
  ☆45Updated 5 months ago
• leanprover-community / lean-liquid
  💧 Liquid Tensor Experiment
  ☆211Updated last year