Alternatives and similar repositories for newton

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

• NUS-Math-Formalization / coxeter
  ☆12Updated 11 months ago
• Kha / do-supplement
  Supplement of the ICFP'22 paper "‘do’ Unchained: Embracing Local Imperativity in a Purely Functional Language"
  ☆13Updated 3 months ago
• digama0 / mizar-rs
  Alternative Mizar proof checker (http://mizar.org/) written in Rust
  ☆53Updated 10 months ago
• teorth / erdos-guy-selfridge
  Project to verify the Guy-Selfridge conjectures
  ☆17Updated this week
• arthurpaulino / NumLean
  A Lean 4 package for heavy numerical computations
  ☆18Updated 3 years ago
• opencompl / C-parsing-for-Lean4
  A parser for ANSI C, in Lean4.
  ☆20Updated last year
• coq-tactician / coq-tactician
  A Seamless, Interactive Tactic Learner and Prover for Coq
  ☆68Updated last month
• ammkrn / timelib
  A date and time library for Lean 4
  ☆12Updated last month
• lecopivo / lean4-karray
  ☆13Updated 3 years ago
• LighghtEeloo / data-types-a-la-carte
  A quick tour to *Data types à la carte* for reading group presentation.
  ☆16Updated 2 years ago
• madvorak / read-lean
  How to read Lean
  ☆17Updated 4 months ago
• leanprover-community / llm
  Interfacing with Large Language Models (remote and local) from Lean.
  ☆26Updated 10 months ago
• argumentcomputer / Wasm.lean
  A WebAssembly implementation in Lean4
  ☆34Updated last year
• tydeu / lean4-papyrus
  An LLVM interface for Lean 4. (WIP)
  ☆21Updated last year
• medovina / natty
  Natty is a natural-language proof assistant with an embedded automatic prover for higher-order logic. It is in an early stage of develop…
  ☆34Updated last week
• fgdorais / lean4-parser
  Parser Combinator Library for Lean 4
  ☆50Updated this week
• digama0 / lean-rs
  High level Lean 4 FFI for Rust
  ☆13Updated last year
• leanprover / lean4export
  Plain-text declaration export for Lean 4
  ☆16Updated this week
• T-Brick / lean-wasm
  Formalising the WASM spec in Lean
  ☆23Updated 11 months ago
• FStarLang / steel
  The Steel separation logic library for F*
  ☆35Updated last month
• verse-lab / lean-ssr
  LeanSSR: an SSReflect-Like Tactic Language for Lean
  ☆35Updated this week
• fzyzcjy / ai_math_paper_list
  AI for Mathematics Paper List
  ☆17Updated 4 months ago
• andrejbauer / partial-combinatory-algebras
  A Lean 4 formalization of partial combinatory algebras.
  ☆14Updated 5 months ago
• leanprover-community / LeanSearchClient
  Syntax for searching with natural language from Lean, using https://leansearch.net/ (may extend to other services)
  ☆23Updated 2 weeks ago
• fpvandoorn / LeanCourse24
  Bonn Lean course for winter 24/25
  ☆31Updated 5 months ago
• MixedMatched / formalizing-game-theory
  Example formalization of Game Theoretic concepts in Lean
  ☆20Updated 3 months ago
• leanprover-community / import-graph
  Tool to analyse the import structure of lean projects.
  ☆13Updated this week
• rzk-lang / sHoTT
  Formalisations for simplicial HoTT and synthetic ∞-categories.
  ☆49Updated 8 months ago
• YaelDillies / LeanAPAP
  Formalisation of the Kelley-Meka bound on Roth numbers
  ☆17Updated this week
• opencompl / lean-gap
  An embedding and formalization of GAP (groups, algorithms, Programming) in LEAN4
  ☆15Updated 3 years ago