leanprover / lean-client-jsLinks
☆38Updated 2 years ago
Alternatives and similar repositories for lean-client-js
Users that are interested in lean-client-js are comparing it to the libraries listed below
Sorting:
- Ground Zero: Lean 4 HoTT Library☆61Updated this week
- LeanInk is a command line helper tool for Alectryon which aims to ease the integration of Lean 4.☆61Updated 10 months ago
- HoTT in Lean 3☆80Updated 4 years ago
- Building group theory from scratch in Lean☆60Updated 4 years ago
- Leaff is a diff tool for Lean environments☆16Updated 4 months ago
- Schemes in Lean (v2)☆43Updated 4 years ago
- Lean type-checker written in Scala.☆36Updated 3 years ago
- A place to put our 2018 Xena project UROP thoughts and programs.☆25Updated 5 years ago
- Lean for the Curious Mathematician 2020☆66Updated last year
- ☆30Updated this week
- Formalizing geometry in Lean : IGL/UniHigh Summer 2020 research project☆28Updated 3 years ago
- ☆30Updated 3 months ago
- Experimental tree-sitter parser for the Lean (4) Theorem Prover☆34Updated 5 months ago
- ☆23Updated 3 years ago
- A Lean 4 library for configuring Command Line Interfaces and parsing command line arguments.☆75Updated this week
- Intuitive, type-safe expression quotations for Lean 4.☆85Updated this week
- Tool to analyse the import structure of lean projects.☆12Updated last month
- Mathlib search tool☆88Updated 3 weeks ago
- **(Deprecated: Merged into Lean 4)** Lean 4 build system and package manager with configuration files written in Lean.☆99Updated last year
- Lean 4 kernel / 'external checker' written in Lean 4☆102Updated this week
- Formalisations for simplicial HoTT and synthetic ∞-categories.☆49Updated 8 months ago
- The Lean reference manual☆65Updated this week
- A Testing Framework for Lean☆53Updated last month
- Generate HTML documentation for mathlib and Lean☆21Updated 8 months ago
- A simple command-line bibtex query utility written in Lean 4☆11Updated 2 months ago
- ☆11Updated last year
- Type Checking in Lean 4☆28Updated last week
- Docker images of the Coq proof assistant (see also: https://github.com/coq-community/docker-coq-action) [maintainers=@erikmd,@himito]☆37Updated 3 weeks ago
- This project is about formally verifying Seymour's decomposition theorem for regular matroids.☆24Updated this week
- A Seamless, Interactive Tactic Learner and Prover for Coq☆68Updated last month