Zulip Chat Archive
Stream: mathlib4
Topic: lean3
vxctyxeha (Apr 22 2025 at 05:45):
how to transfor lean3 code to lean4
Yury G. Kudryashov (Apr 22 2025 at 06:07):
Please provide more details (how many lines of code? does it compile against the latest mathlib3?)
Last updated: May 02 2025 at 03:31 UTC