Yuri Victorovich b3698bb1e4 math/lean4: Add comment

2026-03-28 12:29:12 -07:00

..

files

math/lean4: Fix stack overflow test

2026-03-28 10:25:55 -07:00

distinfo

math/lean4: update 4.29.0-rc2 → 4.29.0

2026-03-28 02:50:21 -07:00

Makefile

math/lean4: Add comment

2026-03-28 12:29:12 -07:00

pkg-descr

…

pkg-plist

math/lean4: update 4.29.0-rc2 → 4.29.0

2026-03-28 02:50:21 -07:00