teorth / newton

Related projects ⓘ

Alternatives and complementary repositories for newton

• NUS-Math-Formalization / coxeter
  ☆12Updated 4 months ago
• madvorak / read-lean
  How to read Lean
  ☆16Updated 2 weeks ago
• leanprover-community / llm
  Interfacing with Large Language Models (remote and local) from Lean.
  ☆25Updated 4 months ago
• digama0 / mizar-rs
  Alternative Mizar proof checker (http://mizar.org/) written in Rust
  ☆47Updated 3 months ago
• opencompl / egg-tactic-code
  ☆13Updated last year
• leanprover-community / tutorials4
  Lean 4 tutorial files
  ☆30Updated 6 months ago
• lecopivo / lean4-karray
  ☆12Updated 2 years ago
• coq-tactician / coq-tactician
  A Seamless, Interactive Tactic Learner and Prover for Coq
  ☆59Updated last week
• SchrodingerZhu / ReuseIR
  Reuse Analysis in MLIR and Rust. Functional programming meets performance.
  ☆15Updated 2 months ago
• 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…
  ☆35Updated 5 months ago
• leanprover / lake
  **(Deprecated: Merged into Lean 4)** Lean 4 build system and package manager with configuration files written in Lean.
  ☆97Updated last year
• sergei-mironov / htvm
  Haskell experiments involving TVM AI framework
  ☆21Updated 5 years ago
• argumentcomputer / Wasm.lean
  A WebAssembly implementation in Lean4
  ☆32Updated 11 months ago
• verse-lab / lean-ssr
  LeanSSR: an SSReflect-Like Tactic Language for Lean
  ☆32Updated 2 months ago
• b-mehta / exponential-ramsey
  ☆12Updated last year
• argumentcomputer / LSpec
  A Testing Framework for Lean
  ☆44Updated last month
• formal-land / coq-of-python
  Translate Python code to Coq code for formal verification. Applied to the reference implementation of Ethereum in Python.
  ☆30Updated 2 months ago
• fgdorais / lean4-parser
  Parser Combinator Library for Lean 4
  ☆34Updated last week
• Bastacyclop / egg-sketches
  sketches for egg: a flexible, high-performance e-graph library
  ☆25Updated 5 months ago
• andrejbauer / formalized-mathematics-in-lean
  A graduate course on formalized mathematics at the Faculty of Mathematics and Physics, University of Ljubljana, Fall semester 2024/25
  ☆21Updated this week
• metamath / metamath-knife
  Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.
  ☆27Updated 3 weeks ago
• arthurpaulino / NumLean
  A Lean 4 package for heavy numerical computations
  ☆17Updated 2 years ago
• kino3 / Mini-TT
  mirror of A simple type-theoretic language: Mini-TT
  ☆38Updated 7 years ago
• LocalCharts / silviculture
  ☆15Updated 5 months ago
• awodey / math
  Mathematical notes and papers
  ☆25Updated 2 months ago
• fpvandoorn / LeanCourse24
  Bonn Lean course for winter 24/25
  ☆16Updated this week
• LighghtEeloo / data-types-a-la-carte
  A quick tour to *Data types à la carte* for reading group presentation.
  ☆16Updated last year
• lenianiva / PyPantograph
  A Machine-to-Machine Interaction System for Lean 4.
  ☆16Updated last week
• leanprover-community / iris-lean
  Lean 4 port of Iris, a higher-order concurrent separation logic framework
  ☆68Updated 3 months ago
• leanprover / reservoir
  Package registry for Lean/Lake.
  ☆16Updated last month