lean-astar/LeanAStar/HashSet.lean, branch main
A* in Lean4
https://git.grois.info/lean-astar/atom/LeanAStar/HashSet.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.19
2025-10-12T16:27:10Z
Andreas Grois
andi@grois.info
2025-10-12T16:27:10Z
urn:sha1:973225b1c5ed10f2a99374c91a9d6a957067f654
Lean 4.18
2025-10-09T20:53:27Z
Andreas Grois
andi@grois.info
2025-10-09T20:53:27Z
urn:sha1:2402a88a863e41f5bceefcdc13323ef609809a8a
Initial Commit (untested)
2025-01-04T17:33:05Z
Andreas Grois
andi@grois.info
2025-01-04T17:33:05Z
urn:sha1:3514e38cf48b611abc808b7de4c13862d3a4ede0