lean-astar/LeanAStar, branch main A* in Lean4 https://git.grois.info/lean-astar/atom/LeanAStar?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 Lean 4.18 2025-10-09T20:53:27Z Andreas Grois andi@grois.info 2025-10-09T20:53:27Z urn:sha1:2402a88a863e41f5bceefcdc13323ef609809a8a Add simple unit test (and fix path output, as discovered by test) 2025-01-11T22:39:24Z Andreas Grois andi@grois.info 2025-01-11T22:39:24Z urn:sha1:0f1e30d0ab59a518c52eb64b0042eec4d212ef2f Change AStarNode type class to use out param for Costs. 2025-01-08T20:35:06Z Andreas Grois andi@grois.info 2025-01-08T20:35:06Z urn:sha1:bf12dcd38698d9e7fd0396722d7dd75ea1cefc88 Fixes instance search for cost addition. Initial Commit (untested) 2025-01-04T17:33:05Z Andreas Grois andi@grois.info 2025-01-04T17:33:05Z urn:sha1:3514e38cf48b611abc808b7de4c13862d3a4ede0