Reservoir

PeterKementzey/graph-library-for-lean4

None Description

GitHub Link Documentation

Pick a version!

TODO: should show a time axes that allows the users to view, filter and click copy the lakefile config.

README

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.