LoreonLabsPlatform

Overview

Intelligence

Markets
Builders
Research
Narratives
Ecosystems
Launchpads

Discover

Search
Sources

Lean

GraphLib

This is the repository for graph algorithm design.

LeanEmerging

Stars

6

Forks

4

Contributors

6

Last push

4h ago

Recent commits

Latest commits.

Merge pull request #11 from sorrachai/blueprint
3c4a0b2Basil4d ago
attempt: clarify mathlib version to fix CI
5dc98b1nnhjy5d ago
Merge pull request #1 from sorrachai/bfs-alg-diGraph
3b1c1adHuang, JiangYi14d ago
clean up bfs correctness proof
d85c67annhjy14d ago
decompose the proofs of lemmas for bfs correctness
1a1ee34nnhjy14d ago

update bfs correctness fully into the counter-n-free version of bfs

5b662afnnhjy17d ago

improve the new bfs abstraction

ff9681ennhjy17d ago

improve the proof of `lemma IsPathIn.suffix`

4a157fbnnhjy17d ago

Top contributors

Builders behind this project.

AntoineduFresne