aboutsummaryrefslogtreecommitdiff
path: root/math/leangz
Commit message (Expand)AuthorAgeFilesLines
* lang/rust: Bump revisions after 1.77.0Mikael Urankar2024-03-231-1/+1
* lang/rust: Bump revisions after 1.76.0Mikael Urankar2024-02-191-0/+1
* math/leangz: update 0.1.10 → 0.1.11Yuri Victorovich2024-01-292-7/+9
* math/leangz: New port: Lean 4 .olean file (de)compressorYuri Victorovich2024-01-163-0/+153