| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Lean 4.21 | Andreas Grois | 2025-11-02 | 3 | -3/+3 |
| * | Lean 4.20.1 | Andreas Grois | 2025-10-12 | 4 | -4/+4 |
| * | Lean 4.19 | Andreas Grois | 2025-10-12 | 6 | -18/+15 |
| * | Lean 4.18 | Andreas Grois | 2025-10-09 | 4 | -6/+6 |
| * | Lean 4.17 | Andreas Grois | 2025-04-13 | 3 | -3/+3 |
| * | Lean 4.16 | Andreas Grois | 2025-04-13 | 3 | -3/+3 |
| * | Add simple unit test (and fix path output, as discovered by test) | Andreas Grois | 2025-01-11 | 4 | -7/+289 |
| * | Change AStarNode type class to use out param for Costs. | Andreas Grois | 2025-01-08 | 1 | -28/+24 |
| * | Lean 4.15 | Andreas Grois | 2025-01-07 | 3 | -3/+3 |
| * | Initial Commit (untested) | Andreas Grois | 2025-01-04 | 10 | -0/+541 |
 |
index : lean-astar | |
| A* in Lean4 | Andreas Grois |
| aboutsummaryrefslogtreecommitdiff |