aboutsummaryrefslogtreecommitdiff
path: root/math/lean4/Makefile
Commit message (Expand)AuthorAgeFilesLines
* math/lean4: update 4.25.2 → 4.25.2.20251201Yuri Victorovich2025-12-021-2/+3
* math/lean4: update 4.25.1 → 4.25.2Yuri Victorovich2025-11-251-2/+2
* math/lean4: update 4.23.0 → 4.25.1Yuri Victorovich2025-11-241-4/+15
* math/lean4: update 4.22.0 → 4.23.0wen2025-09-251-3/+6
* math/lean4: Broken on 13Yuri Victorovich2025-09-081-0/+1
* math/lean4: Update to 4.22.0Wen Heping2025-08-221-2/+1
* 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-051-1/+1
* math/lean4: update 4.20.0-rc5 → 4.20.0Yuri Victorovich2025-06-041-4/+2
* math/lean4: update 4.12.0 → 4.20.0.r5Yuri Victorovich2025-05-091-3/+10
* math/lean4: update 4.11.0 → 4.12.0Yuri Victorovich2024-10-031-4/+8
* math/lean4: Remove pkg-message since both recommendations there aren't releva...wen heping2024-09-251-0/+12
* math/lean4: update 4.10.0 → 4.11.0Yuri Victorovich2024-09-021-1/+1
* math/lean4: update 4.9.1 → 4.10.0Yuri Victorovich2024-08-011-1/+1
* math/lean4: update 4.9.0 → 4.9.1Yuri Victorovich2024-07-101-1/+1
* math/lean4: update 4.8.0 → 4.9.0Wen Heping2024-07-061-1/+1
* math/lean4: update 4.7.0 → 4.8.0Yuri Victorovich2024-06-071-2/+4
* math/lean4: Broken on armv7Yuri Victorovich2024-05-061-0/+1
* math/lean4: update 4.6.0 → 4.7.0Yuri Victorovich2024-04-131-1/+2
* math/lean4: update 4.5.0 → 4.6.0Yuri Victorovich2024-02-271-1/+1
* math/lean4: update 4.5.0-rc1 → 4.5.0Yuri Victorovich2024-02-011-2/+1
* math/lean4: Broken on i386Yuri Victorovich2024-01-191-0/+2
* math/lean4: Remove std library: it will be in its own portYuri Victorovich2024-01-161-12/+1
* math/lean4: Add Std4 libraryYuri Victorovich2024-01-151-0/+12
* math/lean4: New port: Theorem prover and functional language for math (new gen)Yuri Victorovich2024-01-141-0/+40
generated by cgit v1.2.3 (git 2.25.1) at 2025-12-30 09:46:20 +0000