Zulip Chat Archive
Stream: lean4
Topic: Lake and Lean3
Alexandre Rademaker (Feb 11 2022 at 14:18):
Can I use Lake to create a project based on Lean 3?
Mac (Feb 11 2022 at 20:05):
No, Lake does not support Lean 3 and this is unlikely to change.
Last updated: May 02 2025 at 03:31 UTC