lean-astar/.github, branch main
A* in Lean4
https://git.grois.info/lean-astar/atom/.github?h=main
2025-01-04T17:33:05Z
Initial Commit (untested)
2025-01-04T17:33:05Z
Andreas Grois
andi@grois.info
2025-01-04T17:33:05Z
urn:sha1:3514e38cf48b611abc808b7de4c13862d3a4ede0