☆23Feb 20, 2026Updated last week
Alternatives and similar repositories for trestle
Users that are interested in trestle are comparing it to the libraries listed below
Sorting:
- Verifying encodings into propositional logic in Lean☆14Aug 14, 2023Updated 2 years ago
- WIP collections library for Lean 4☆32May 8, 2025Updated 9 months ago
- Formalising the WASM spec in Lean☆28Nov 14, 2025Updated 3 months ago
- MLB support for CM (the SML/NJ Compilation and Library Manager)☆18May 26, 2025Updated 9 months ago
- Reference compiler for c0☆39Dec 11, 2025Updated 2 months ago
- ☆13Apr 25, 2022Updated 3 years ago
- DateTime package for Lean 4☆17Feb 28, 2024Updated 2 years ago
- This package provides an interface and foundation for verified SAT reasoning☆55Aug 29, 2024Updated last year
- Lean formalization of aperiodic monotiles papers (staging repository for material not yet in mathlib)☆15Feb 18, 2026Updated last week
- Platform-aware programming in Julia☆13Nov 29, 2024Updated last year
- A date and time library for Lean 4☆14Apr 12, 2025Updated 10 months ago
- ☆15Apr 12, 2023Updated 2 years ago
- Rust bindings for the Lean 4 proof assistant☆46Sep 24, 2025Updated 5 months ago
- A parser for ANSI C, in Lean4.☆22Nov 16, 2023Updated 2 years ago
- ☆16Jul 3, 2023Updated 2 years ago
- ☆17Feb 20, 2024Updated 2 years ago
- A tool to auto-generate and render slides from Markdown comments in the Lean editor.☆24Jan 19, 2026Updated last month
- Egraphs Modulo Theories☆18Jun 10, 2025Updated 8 months ago
- Refreshing automation for inductive equational proofs using e-graphs☆24Jul 7, 2024Updated last year
- ☆26Dec 8, 2024Updated last year
- Leaff is a diff tool for Lean environments☆25Jan 18, 2025Updated last year
- Chess in Lean 4☆32Feb 14, 2026Updated 2 weeks ago
- Armv8 Native Code Symbolic Simulator in Lean☆96Nov 21, 2025Updated 3 months ago
- The "batteries included" extended library for the Lean programming language and theorem prover☆361Updated this week
- A Lean4 Formalization of Polynomial Functors☆27Dec 22, 2025Updated 2 months ago
- Replay the `Environment` for a given Lean module, ensuring that all declarations are accepted by the kernel.☆33Feb 24, 2026Updated last week
- ☆22Jan 14, 2026Updated last month
- Reference sheet for people who know Lean 3 and want to write tactic-based proofs in Lean 4☆26Oct 13, 2025Updated 4 months ago
- A stepping debugger for Standard ML (SML)☆26Feb 20, 2024Updated 2 years ago
- Neural theorem proving evaluation via the Lean REPL☆23Jul 12, 2025Updated 7 months ago
- A toy implementation of socket programming for Lean 4.☆27Feb 23, 2023Updated 3 years ago
- Experiments with SAT solvers with proofs in Lean 4☆63Jun 23, 2024Updated last year
- A web-based graphical proof assistant for LK and Hoare logic.☆41Jan 10, 2026Updated last month
- ☆39Feb 18, 2026Updated last week
- Lean 4 kernel / 'external checker' written in Lean 4☆160Feb 2, 2026Updated last month
- A Nix build graph profiler☆37Aug 3, 2025Updated 7 months ago
- (Mirror) A Machine-to-Machine Interaction System for Lean 4☆52Updated this week
- Evolutionary decision trees☆11Jun 16, 2025Updated 8 months ago
- ☆10Jul 29, 2022Updated 3 years ago