ports@,

I'd like to switch math/lean to 4 and bring math/mathlib as well.

I've attached gziped diff and a few required dependencies.

It's working here good enough to be shared and ask to testing, but this
ports are large. It neeeds about 10G in /usr/local and it builds for a
while. Here a amd64 tgz: https://kirill.korins.ky/pub/packages/lean4/

I haven't tried it on anything else than amd64, and it needs some patches to
work which I had already upstreamed.

Thoughts? Ok to import after unlock?

-- 
wbr, Kirill

• lean.diff.gz (78K)
• lean-deps.tgz (285K)