Jademaster / PathComposerLinks
Implements a compositional algorithm for computing shortest paths on weighted graphs
☆12Updated 2 years ago
Alternatives and similar repositories for PathComposer
Users that are interested in PathComposer are comparing it to the libraries listed below
Sorting:
- The Complex Number Game. Make the complex numbers in Lean.☆42Updated 3 years ago
- A simple raytracer written in Lean 4☆143Updated last year
- metamath proof enumerators and other things☆92Updated 2 months ago
- Extension for VS Code that provides support for the older Lean 3 language. Succeeded by vscode-lean4 ('lean4' in the extensions menu) for…☆116Updated 10 months ago
- 💧 Liquid Tensor Experiment☆220Updated 2 years ago
- Exact real arithmetic in C++☆50Updated 5 years ago
- The agda-unimath library☆283Updated this week
- Functional Programming in Lean☆140Updated 2 weeks ago
- ☆35Updated last month
- Overview of tactics in Lean 4 for beginners — longer version☆104Updated 7 months ago
- A formalized proof of Carleson's theorem in Lean☆83Updated last week
- Lean Library currently studying for a degree at Imperial College☆229Updated 11 months ago
- An experimental proof assistant based on a type theory for synthetic ∞-categories.☆262Updated last week
- Lean theorem prover version 0.2 (it supports standard and HoTT modes)☆125Updated 3 years ago
- Very controlled natural language tactics for Lean☆66Updated 2 years ago
- Lean for the Curious Mathematician 2020☆68Updated 2 years ago
- A database of small finite categories☆14Updated 2 years ago
- This project converts structured Lean code into an interactive browser game.☆78Updated 2 years ago
- A formal proof of the independence of the continuum hypothesis☆142Updated last year
- An interactive theorem prover for string diagrams☆124Updated last year
- SMTscope automatically analyses and visualises SMT solver execution traces.☆55Updated 2 months ago
- **(Deprecated: Merged into Lean 4)** Lean 4 build system and package manager with configuration files written in Lean.☆101Updated 2 years ago
- HoTTEST Summer School materials☆322Updated 8 months ago
- Mathematical Components compliant Analysis Library☆235Updated this week
- Scientific computing in Lean 4☆460Updated 8 months ago
- An introduction to theorem proving in Lean for the impatient.☆329Updated this week
- ☆94Updated 2 years ago
- Building group theory from scratch in Lean☆62Updated 5 years ago
- Lean 4 Metamath verifier☆22Updated last month
- Cerberus C semantics☆80Updated 3 weeks ago