Alternatives and similar repositories for newton

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

• teorth / equational
  ☆10Updated 10 months ago
• digama0 / mizar-rs
  Alternative Mizar proof checker (http://mizar.org/) written in Rust
  ☆55Updated 3 weeks ago
• teorth / symmetric_project
  ☆92Updated last year
• wellecks / llmstep
  llmstep: [L]LM proofstep suggestions in Lean 4.
  ☆139Updated last year
• digama0 / lean-rs
  High level Lean 4 FFI for Rust
  ☆14Updated last year
• astrainfinita / Algorithm
  Verified efficient algorithms in Lean4.
  ☆30Updated last week
• leanprover / Pantograph
  (Mirror) A Machine-to-Machine Interaction System for Lean 4
  ☆32Updated this week
• leanprover / doc-gen4
  Document Generator for Lean 4
  ☆100Updated 2 weeks ago
• WuProver / groebner_proj
  Formalization of Gröbner basis theory in Lean4 (WIP)
  ☆22Updated this week
• chasenorman / CanonicalLean
  A Lean tactic for Canonical, a search procedure for terms in dependent type theory.
  ☆81Updated last week
• leanprover-community / plausible
  ☆52Updated 3 weeks ago
• trishullab / itp-interface
  Generic interface for hooking up to any Interactive Theorem Prover (ITP) and collecting data for training ML models for AI in formal theo…
  ☆17Updated 3 months ago
• chanind / mathlib-changelog
  ☆10Updated this week
• teorth / pfr
  Repository for formalization of the Polynomial Freiman Ruzsa conjecture (and related results)
  ☆181Updated last week
• BartoszPiotrowski / lean-premise-selection
  ☆21Updated last year
• leanprover-community / flt-regular
  Fermat's Last Theorem for regular primes
  ☆61Updated 3 weeks ago
• b-mehta / exponential-ramsey
  A formal proof of an exponentially better upper bound on Ramsey numbers
  ☆17Updated last year
• jjdishere / EG
  Formalizing Euclidean Geometry in Lean
  ☆29Updated last year
• yangky11 / lean4-example
  ☆13Updated last month
• MixedMatched / formalizing-game-theory
  Example formalization of Game Theoretic concepts in Lean
  ☆20Updated 5 months ago
• jasonrute / thoughts-on-ai-for-theorem-proving
  ☆27Updated 3 years ago
• leanprover-community / mathport
  Mathport is a tool for porting Lean3 projects to Lean4
  ☆44Updated 8 months ago
• leanprover-community / ProofWidgets4
  Helper toolkit for creating your own Lean 4 UserWidgets
  ☆151Updated 3 weeks ago
• digama0 / ast_export
  AST export from Lean 4
  ☆12Updated last year
• augustepoiroux / LeanInteract
  LeanInteract: A Python Interface for Lean 4
  ☆46Updated 2 weeks ago
• facebookresearch / miniF2F
  An updated version of miniF2F with lots of fixes and informal statements / solutions.
  ☆90Updated 7 months ago
• fzyzcjy / ai_math_paper_list
  AI for Mathematics Paper List
  ☆17Updated 7 months ago
• ammkrn / nanoda_lib
  Library implementing type inference/checking functionality based on the Lean theorem prover
  ☆70Updated 2 months ago
• GasStationManager / LeanTool
  A "code intepreter" for Lean
  ☆69Updated 2 weeks ago
• leanprover-community / lean4web
  The Lean 4 web editor
  ☆101Updated last month