ports@,

I'd like to update math/lean instead of dropping it as was suggested here:
https://marc.info/?l=openbsd-ports&m=178990539056610&w=2

So, here an update of math/lean to 4.35.0 plus its depds and new port
math/mathlib.

I had tested it at amd64 since release candidates and it works well enough.

Anyone Ok to import?

Thus, this is large ports (special mathlib) so I had shared prebuild tgz for
amd64: https://kirill.korins.ky/pub/packages/lean4/

Keep in mind that it needs about 10Gb in /usr/local

-- 
wbr, Kirill

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