- This project focuses on defining automata in Lean and proving things about them
- Currently there are two versions for Lean3 and Lean4
- When opening a project in VSCode, use the folder lean4 as the workspace, not the whole project
- Init the project using 'lake update' and 'lake build'