☆25Sep 28, 2026Updated last month
Alternatives and similar repositories for trestle
Users that are interested in trestle are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Verifying encodings into propositional logic in Lean☆15Aug 14, 2023Updated 3 years ago
- WIP collections library for Lean 4☆32May 8, 2025Updated last year
- MLB support for CM (the SML/NJ Compilation and Library Manager)☆19May 26, 2025Updated last year
- Formalising the WASM spec in Lean☆34Nov 14, 2025Updated 11 months ago
- Reference compiler for c0☆43Apr 7, 2026Updated 6 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Leaff is a diff tool for Lean environments☆26Jan 18, 2025Updated last year
- ☆14Sep 16, 2026Updated last month
- This package provides an interface and foundation for verified SAT reasoning☆57Aug 29, 2024Updated 2 years ago
- Setup for autograding of Lean homework using GitHub Classroom☆11Feb 11, 2022Updated 4 years ago
- DateTime package for Lean 4☆17Feb 28, 2024Updated 2 years ago
- Lean formalization of aperiodic monotiles papers (staging repository for material not yet in mathlib)☆17Oct 11, 2026Updated 3 weeks ago
- Binary Decision Diagrams in Lean 4☆14Jul 26, 2026Updated 3 months ago
- An automated approach to the Collatz conjecture☆13Oct 7, 2023Updated 3 years ago
- ☆18Feb 20, 2024Updated 2 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A stepping debugger for Standard ML (SML)☆33Feb 20, 2024Updated 2 years ago
- A parser for ANSI C, in Lean4.☆25Nov 16, 2023Updated 2 years ago
- The "batteries included" extended library for the Lean programming language and theorem prover☆427Updated this week
- ☆15Apr 12, 2023Updated 3 years ago
- ☆14Apr 25, 2022Updated 4 years ago
- Rust bindings for the Lean 4 proof assistant☆51Sep 24, 2025Updated last year
- Bindings and specification for BLAS☆11Feb 12, 2026Updated 8 months ago
- A simple command-line bibtex query utility written in Lean 4☆11Updated this week
- A PCRE2 compatible regular expression engine written in Lean 4.☆20Oct 16, 2026Updated 2 weeks ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A work-in-progress structure editor for the cooltt proof assistant.☆18Jul 28, 2022Updated 4 years ago
- ☆316Updated this week
- A Lean4 Formalization of Polynomial Functors☆31Jul 10, 2026Updated 3 months ago
- Helper toolkit for creating your own Lean 4 UserWidgets☆231Updated this week
- Experiments with SAT solvers with proofs in Lean 4☆64Jun 23, 2024Updated 2 years ago
- Lean 4 bindings to libcurl☆15Feb 3, 2026Updated 8 months ago
- Reference sheet for people who know Lean 3 and want to write tactic-based proofs in Lean 4☆28Oct 13, 2025Updated last year
- ☆16Jul 3, 2023Updated 3 years ago
- Connecting bv_decide to SMTLIB.☆19Oct 19, 2026Updated 2 weeks ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Grab-bag library for the MPL compiler (https://github.com/mpllang/mpl)☆19Sep 29, 2025Updated last year
- A toy implementation of socket programming for Lean 4.☆27Feb 23, 2023Updated 3 years ago
- Experiments on automation for Lean☆195Updated this week
- Formalization of type theory☆22Jul 5, 2021Updated 5 years ago
- ☆119Sep 28, 2026Updated last month
- Dynamic tuning for the OCaml garbage collector☆23Apr 24, 2025Updated last year
- A web-based graphical proof assistant for LK and Hoare logic.☆41Jan 10, 2026Updated 9 months ago