| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | math/lean4: update 4.12.0 → 4.20.0.r5 | Yuri Victorovich | 2025-05-09 | 1 | -3/+3 |
| | | |||||
| * | math/lean4: New port: Theorem prover and functional language for math (new gen) | Yuri Victorovich | 2024-01-14 | 1 | -0/+12 |
 |
index : ports | |
| FreeBSD ports tree |
| aboutsummaryrefslogtreecommitdiff |