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: Dec 20 2023 at 11:08 UTC