Lean4 implementation of the A* algorithm, loosely based on https://en.wikipedia.org/wiki/A*_search_algorithm
Ferinko/LeanAStar
None Description
GitHub Link DocumentationPick a version!
TODO: should show a time axes that allows the users to view, filter and click copy the lakefile config.