aboutsummaryrefslogtreecommitdiff
path: root/math/lean4
Commit message (Expand)AuthorAgeFilesLines
* math/lean4: update 4.25.2 → 4.25.2.20251201Yuri Victorovich5 days5-147/+564
* math/lean4: update 4.25.1 → 4.25.2Yuri Victorovich12 days2-5/+5
* math/lean4: Update patchesYuri Victorovich12 days6-36/+15
* math/lean4: update 4.23.0 → 4.25.1Yuri Victorovich13 days9-309/+1603
* math/lean4: update 4.22.0 → 4.23.0wen2025-09-253-27/+3963
* math/lean4: Broken on 13Yuri Victorovich2025-09-081-0/+1
* math/lean4: Update to 4.22.0Wen Heping2025-08-223-61/+1475
* math/cadical: update 2.0.0 → 2.1.3Yuri Victorovich2025-06-191-0/+1
* math/lean4: update 4.20.0 → 4.20.1Yuri Victorovich2025-06-052-4/+4
* math/lean4: update 4.20.0-rc5 → 4.20.0Yuri Victorovich2025-06-043-7/+6
* math/lean4: update 4.12.0 → 4.20.0.r5Yuri Victorovich2025-05-0913-140/+2016
* math/lean4: update 4.11.0 → 4.12.0Yuri Victorovich2024-10-033-13/+458
* math/lean4: Remove pkg-message since both recommendations there aren't releva...wen heping2024-09-252-22/+12
* math/lean4: update 4.10.0 → 4.11.0Yuri Victorovich2024-09-023-13/+215
* math/lean4: update 4.9.1 → 4.10.0Yuri Victorovich2024-08-013-19/+62
* math/lean4: update 4.9.0 → 4.9.1Yuri Victorovich2024-07-102-4/+4
* math/lean4: update 4.8.0 → 4.9.0Wen Heping2024-07-063-12/+87
* math/lean4: update 4.7.0 → 4.8.0Yuri Victorovich2024-06-073-20/+206
* math/lean4: Broken on armv7Yuri Victorovich2024-05-061-0/+1
* math/lean4: update 4.6.0 → 4.7.0Yuri Victorovich2024-04-135-23/+306
* math/lean4: update 4.5.0 → 4.6.0Yuri Victorovich2024-02-273-7/+34
* math/lean4: update 4.5.0-rc1 → 4.5.0Yuri Victorovich2024-02-012-5/+4
* math/lean4: Broken on i386Yuri Victorovich2024-01-191-0/+2
* math/lean4: Remove std library: it will be in its own portYuri Victorovich2024-01-163-941/+2
* math/lean4: Add Std4 libraryYuri Victorovich2024-01-153-1/+941
* math/lean4: New port: Theorem prover and functional language for math (new gen)Yuri Victorovich2024-01-1411-0/+2442
generated by cgit v1.2.3 (git 2.25.1) at 2025-12-07 08:24:06 +0000