This might be not too crazy, but I am not too familiar with Lean.
How different is Lean from other well established strongly typed languages, like e.g. Rust? If you can set up an "ecosystem mover" LLM, where you port the whole libraries to Lean, that would be a good starting point.
This might be not too crazy, but I am not too familiar with Lean.
How different is Lean from other well established strongly typed languages, like e.g. Rust?
If you can set up an "ecosystem mover" LLM, where you port the whole libraries to Lean, that would be a good starting point.