Theorem Proving with Lean
Written by: Nikita Grimm, Sebastian Meier, Frederick VandermoetenA hosted version of the app can be found at Starting our project, we embarked on our journey with the Natural Number Game (NNG) to learn about the syntax of Lean 3. We also…