lean-astar/LeanAStar/Finite.lean, branch main
A* in Lean4
https://git.grois.info/lean-astar/atom/LeanAStar/Finite.lean?h=main
2025-11-16T12:47:12Z
Lean 4.23
2025-11-16T12:47:12Z
Andreas Grois
andi@grois.info
2025-11-16T12:47:12Z
urn:sha1:7480e42e0a7ef6631b01fb7208b2b3b9c7fcc354
Lean 4.20.1
2025-10-12T21:39:59Z
Andreas Grois
andi@grois.info
2025-10-12T21:39:59Z
urn:sha1:eebf50562af5de9779aa11ab2671bc1c917e6000
Lean 4.19
2025-10-12T16:27:10Z
Andreas Grois
andi@grois.info
2025-10-12T16:27:10Z
urn:sha1:973225b1c5ed10f2a99374c91a9d6a957067f654
Initial Commit (untested)
2025-01-04T17:33:05Z
Andreas Grois
andi@grois.info
2025-01-04T17:33:05Z
urn:sha1:3514e38cf48b611abc808b7de4c13862d3a4ede0