| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Fix testsHEADmain | Andreas Grois | 2025-11-19 | 1 | -2/+2 |
| | | |||||
| * | Add simple unit test (and fix path output, as discovered by test) | Andreas Grois | 2025-01-11 | 1 | -0/+261 |
 |
index : lean-astar | |
| A* in Lean4 | Andreas Grois |
| aboutsummaryrefslogtreecommitdiff |
path: root/LeanAStarTest