Bachelor Project - Vrije Universiteit Amsterdam - 2021
Graph library for Lean 4
This is a graph library for the upcoming 4th version of Lean. Functions are documented in comments in the source code.
Example use
To help you get started with using this library see this example project I made.
Benchmarks
Some of the functionality has been benchmarked against Haskell implementations, mainly to compare the performance of the languages. You can find that here.