aboutsummaryrefslogtreecommitdiff
path: root/math/lean4/distinfo
Commit message (Expand)AuthorAgeFilesLines
* math/lean4: update 4.25.2 → 4.25.2.20251201Yuri Victorovich2025-12-021-3/+3
* math/lean4: update 4.25.1 → 4.25.2Yuri Victorovich2025-11-251-3/+3
* math/lean4: update 4.23.0 → 4.25.1Yuri Victorovich2025-11-241-3/+3
* math/lean4: update 4.22.0 → 4.23.0wen2025-09-251-3/+3
* math/lean4: Update to 4.22.0Wen Heping2025-08-221-3/+3
* math/lean4: update 4.20.0 → 4.20.1Yuri Victorovich2025-06-051-3/+3
* math/lean4: update 4.20.0-rc5 → 4.20.0Yuri Victorovich2025-06-041-3/+3
* math/lean4: update 4.12.0 → 4.20.0.r5Yuri Victorovich2025-05-091-3/+3
* math/lean4: update 4.11.0 → 4.12.0Yuri Victorovich2024-10-031-3/+3
* math/lean4: update 4.10.0 → 4.11.0Yuri Victorovich2024-09-021-3/+3
* math/lean4: update 4.9.1 → 4.10.0Yuri Victorovich2024-08-011-3/+3
* math/lean4: update 4.9.0 → 4.9.1Yuri Victorovich2024-07-101-3/+3
* math/lean4: update 4.8.0 → 4.9.0Wen Heping2024-07-061-3/+3
* math/lean4: update 4.7.0 → 4.8.0Yuri Victorovich2024-06-071-3/+3
* math/lean4: update 4.6.0 → 4.7.0Yuri Victorovich2024-04-131-3/+3
* math/lean4: update 4.5.0 → 4.6.0Yuri Victorovich2024-02-271-3/+3
* math/lean4: update 4.5.0-rc1 → 4.5.0Yuri Victorovich2024-02-011-3/+3
* math/lean4: Remove std library: it will be in its own portYuri Victorovich2024-01-161-3/+1
* math/lean4: Add Std4 libraryYuri Victorovich2024-01-151-1/+3
* math/lean4: New port: Theorem prover and functional language for math (new gen)Yuri Victorovich2024-01-141-0/+3
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-16 01:16:33 +0000