Alternatives and similar repositories for newton

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

• teorth / equational
  ☆10Updated 9 months ago
• YaelDillies / LeanAPAP
  Formalisation of the Kelley-Meka bound on Roth numbers
  ☆17Updated 2 weeks ago
• teorth / symmetric_project
  ☆91Updated last year
• teorth / pfr
  Repository for formalization of the Polynomial Freiman Ruzsa conjecture (and related results)
  ☆177Updated last week
• digama0 / mizar-rs
  Alternative Mizar proof checker (http://mizar.org/) written in Rust
  ☆53Updated this week
• NUS-Math-Formalization / coxeter
  ☆12Updated last year
• arthurpaulino / NumLean
  A Lean 4 package for heavy numerical computations
  ☆18Updated 3 years ago
• teorth / estimate_tools
  ☆70Updated last month
• jsm28 / AperiodicMonotilesLean
  Lean formalization of aperiodic monotiles papers (staging repository for material not yet in mathlib)
  ☆13Updated last week
• tydeu / lean4-papyrus
  An LLVM interface for Lean 4. (WIP)
  ☆21Updated last year
• fpvandoorn / LeanCourse24
  Bonn Lean course for winter 24/25
  ☆31Updated 6 months ago
• facebookresearch / LeanUniverse
  LeanUniverse: A Library for Consistent and Scalable Lean4 Dataset Management
  ☆69Updated 6 months ago
• siddhartha-gadgil / LeanAide
  Tools based on AI for helping with Lean 4
  ☆91Updated last week
• BartoszPiotrowski / lean-premise-selection
  ☆21Updated last year
• wellecks / llmstep
  llmstep: [L]LM proofstep suggestions in Lean 4.
  ☆137Updated last year
• leanprover-community / plausible
  ☆48Updated last week
• leanprover-community / tutorials4
  Lean 4 tutorial files
  ☆39Updated last month
• FR-vdash-bot / Algorithm
  Verified efficient algorithms in Lean4.
  ☆28Updated 3 months ago
• GasStationManager / LeanTool
  A "code intepreter" for Lean
  ☆60Updated last week
• leanprover-community / llm
  Interfacing with Large Language Models (remote and local) from Lean.
  ☆26Updated last year
• madvorak / read-lean
  How to read Lean
  ☆17Updated 5 months ago
• b-mehta / exponential-ramsey
  A formal proof of an exponentially better upper bound on Ramsey numbers
  ☆17Updated last year
• google / formal-ml
  ☆25Updated 4 years ago
• teorth / expdb
  Exponent pair database
  ☆59Updated last week
• emilyriehl / infinity-cosmos
  A blueprint for a formalization of infinity-cosmos theory in Lean.
  ☆66Updated last week
• fpvandoorn / carleson
  A formalized proof of Carleson's theorem in Lean
  ☆59Updated last week
• oOo0oOo / leanclient
  Python client to interact with the lean4 language server.
  ☆22Updated last week
• leanprover-community / import-graph
  Tool to analyse the import structure of lean projects.
  ☆14Updated last week
• leanprover-community / repl
  A simple REPL for Lean 4, returning information about errors and sorries.
  ☆133Updated last week
• trishullab / copra
  COPRA: An in-COntext PRoof Agent which uses LLMs like GPTs to prove theorems in formal languages.
  ☆62Updated 2 months ago