ports/math/lean4/files, branch main

math/lean4: Fix stack overflow test

2026-03-28T17:25:55+00:00

All other failing tests fail spuriously due to parallel contention.
They all pass when run individually.

math/lean4: update 4.25.2-20251201 → 4.29.0.r2

2026-02-27T07:22:39+00:00

math/lean4: update 4.25.2 → 4.25.2.20251201

2025-12-02T00:47:08+00:00

The previous release's tarball changed unexplainably, and the
new one is unbuildable, again unexplainably.

This update brings it to the latest revision to solve this problem.

Reported by:	fallout

math/lean4: Update patches

2025-11-25T04:33:45+00:00

math/lean4: update 4.23.0 → 4.25.1

2025-11-24T18:26:56+00:00

math/lean4: update 4.12.0 → 4.20.0.r5

2025-05-09T20:47:13+00:00

math/lean4: update 4.6.0 → 4.7.0

2024-04-13T22:31:12+00:00

Reported by:	portscout

math/lean4: New port: Theorem prover and functional language for math (new gen)

2024-01-14T03:50:20+00:00