aboutsummaryrefslogtreecommitdiff
BranchCommit messageAuthorAge
mainFix testsAndreas Grois6 months
 
 
AgeCommit messageAuthorFilesLines
2025-11-19Fix testsHEADmainAndreas Grois2-4/+8
2025-11-16Lean 4.25Andreas Grois3-3/+3
2025-11-16Lean 4.24Andreas Grois2-2/+2
2025-11-16Lean 4.23Andreas Grois5-5/+5
2025-11-02Lean 4.21Andreas Grois3-3/+3
2025-10-12Lean 4.20.1Andreas Grois4-4/+4
2025-10-12Lean 4.19Andreas Grois6-18/+15
2025-10-09Lean 4.18Andreas Grois4-6/+6
2025-04-13Lean 4.17Andreas Grois3-3/+3
2025-04-13Lean 4.16Andreas Grois3-3/+3
[...]
 
Clone
http://git.grois.info/lean-astar