Alternatives and similar repositories for newton

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

• teorth / equational
  ☆10Updated last year
• teorth / symmetric_project
  ☆95Updated 2 years ago
• digama0 / mizar-rs
  Alternative Mizar proof checker (http://mizar.org/) written in Rust
  ☆59Updated last month
• teorth / estimate_tools
  ☆73Updated 8 months ago
• WuProver / groebner_proj
  Formalization of Gröbner basis theory in Lean4 (WIP)
  ☆29Updated last week
• teorth / pfr
  Repository for formalization of the Polynomial Freiman Ruzsa conjecture (and related results)
  ☆206Updated 2 weeks ago
• leanprover / lean-client-js
  ☆38Updated 2 years ago
• b-mehta / exponential-ramsey
  A formal proof of an exponentially better upper bound on Ramsey numbers
  ☆18Updated 2 years ago
• leanprover / vscode-lean4
  Visual Studio Code extension for the Lean 4 proof assistant
  ☆251Updated last week
• teorth / erdos-guy-selfridge
  Project to verify the Guy-Selfridge conjectures
  ☆24Updated 7 months ago
• oOo0oOo / leanclient
  Python client to interact with the lean4 language server.
  ☆39Updated last month
• teorth / expdb
  Exponent pair database
  ☆70Updated last week
• GaloisInc / lean-llvm
  LLVM support for the lean theorem prover
  ☆53Updated 4 years ago
• opencompl / lean-mlir-old
  embedding MLIR in LEAN
  ☆48Updated last year
• jesse-michael-han / lean-gptf
  Interactive neural theorem proving in Lean
  ☆132Updated 3 years ago
• leanprover-community / repl
  A simple REPL for Lean 4, returning information about errors and sorries.
  ☆187Updated 2 weeks ago
• yangky11 / lean4-example
  ☆16Updated 7 months ago
• leanprover / fp-lean
  Functional Programming in Lean
  ☆141Updated 3 weeks ago
• leanprover / leansat
  This package provides an interface and foundation for verified SAT reasoning
  ☆55Updated last year
• Trequetrum / lean4game-logic
  Make/Encode some basic logic puzzles
  ☆18Updated last year
• leanprover / theorem_proving_in_lean4
  Theorem Proving in Lean 4
  ☆233Updated last month
• leanprover-community / lean-auto
  Experiments on automation for Lean
  ☆161Updated 2 weeks ago
• leanprover-community / lean-client-python
  Python talking to the Lean theorem prover
  ☆46Updated 4 years ago
• leanprover / lake
  **(Deprecated: Merged into Lean 4)** Lean 4 build system and package manager with configuration files written in Lean.
  ☆101Updated 2 years ago
• fpvandoorn / carleson
  A formalized proof of Carleson's theorem in Lean
  ☆83Updated last week
• Kha / do-supplement
  Supplement of the ICFP'22 paper "‘do’ Unchained: Embracing Local Imperativity in a Purely Functional Language"
  ☆14Updated 11 months ago
• leanprover-community / LeanProject
  A template for blueprint-driven formalization projects in Lean.
  ☆94Updated 2 weeks ago
• zhangir-azerbayev / ProofNet
  Benchmark for undergraduate-level formal mathematics
  ☆116Updated last year
• leanprover-community / llm
  Interfacing with Large Language Models (remote and local) from Lean.
  ☆28Updated last year
• facebookresearch / miniF2F
  An updated version of miniF2F with lots of fixes and informal statements / solutions.
  ☆98Updated last year