| Age | Commit message (Expand) | Author |
|---|---|---|
| 2025-11-24 | math/lean4: Update patches | Yuri Victorovich |
| 2025-05-09 | math/lean4: update 4.12.0 → 4.20.0.r5 | Yuri Victorovich |
| 2024-01-13 | math/lean4: New port: Theorem prover and functional language for math (new gen) | Yuri Victorovich |
 |
index : freebsd-ports.git | |
| FreeBSD ports | Gitolite user |
| summaryrefslogtreecommitdiff |