| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Change AStarNode type class to use out param for Costs. | Andreas Grois | 2025-01-08 | 1 | -28/+24 |
| | | | | | Fixes instance search for cost addition. | ||||
| * | Initial Commit (untested) | Andreas Grois | 2025-01-04 | 1 | -0/+164 |
 |
index : lean-astar | |
| A* in Lean4 | Andreas Grois |
| aboutsummaryrefslogtreecommitdiff |