| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Lean 4.23 | Andreas Grois | 2025-11-16 | 1 | -1/+1 |
| | | |||||
| * | Lean 4.20.1 | Andreas Grois | 2025-10-12 | 1 | -1/+1 |
| | | |||||
| * | Lean 4.19 | Andreas Grois | 2025-10-12 | 1 | -5/+5 |
| | | |||||
| * | Initial Commit (untested) | Andreas Grois | 2025-01-04 | 1 | -0/+200 |
 |
index : lean-astar | |
| A* in Lean4 | Andreas Grois |
| aboutsummaryrefslogtreecommitdiff |