4 ms·
A big concern is how future proof this Lean code is, and they are going to produce a lot of it.
by thdhhghgbhy 1y ago
A big concern is how future proof this Lean code is, and they are going to produce a lot of it.
- lgas 1y agoI am assuming you mean it's a bigger concern in Lean than other languages because of what people are attempting to do with it (formalize all of math)? Because the language itself, somewhat by design and somewhat by nature, seems to be more future proof than any other language I've ever used.
- thdhhghgbhy 1y agoSo if this project was completed in Lean 3, for sake of example, how compatible would it be with Lean 4 today?