| Branch | Commit message | Author | Age | |
|---|---|---|---|---|
| main | Fix tests | Andreas Grois | 6 months | |
| Age | Commit message | Author | Files | Lines |
| 2025-11-19 | Fix testsHEADmain | Andreas Grois | 2 | -4/+8 |
| 2025-11-16 | Lean 4.25 | Andreas Grois | 3 | -3/+3 |
| 2025-11-16 | Lean 4.24 | Andreas Grois | 2 | -2/+2 |
| 2025-11-16 | Lean 4.23 | Andreas Grois | 5 | -5/+5 |
| 2025-11-02 | Lean 4.21 | Andreas Grois | 3 | -3/+3 |
| 2025-10-12 | Lean 4.20.1 | Andreas Grois | 4 | -4/+4 |
| 2025-10-12 | Lean 4.19 | Andreas Grois | 6 | -18/+15 |
| 2025-10-09 | Lean 4.18 | Andreas Grois | 4 | -6/+6 |
| 2025-04-13 | Lean 4.17 | Andreas Grois | 3 | -3/+3 |
| 2025-04-13 | Lean 4.16 | Andreas Grois | 3 | -3/+3 |
| [...] | ||||
| Clone | ||||
| http://git.grois.info/lean-astar | ||||
 |
index : lean-astar | |
| A* in Lean4 | Andreas Grois |
| aboutsummaryrefslogtreecommitdiff |