aboutsummaryrefslogtreecommitdiff
path: root/LeanAStarTest/Tests.lean
Commit message (Expand)AuthorAgeFilesLines
* Add simple unit test (and fix path output, as discovered by test)Andreas Grois2025-01-111-0/+261
generated by cgit v1.2.3 (git 2.46.0) at 2026-05-06 12:54:24 +0000