alreadydone / elliptic-curve

singular points & discriminant, etc.

my-lean-test

Description

teach computer to do some stupid mathematics BOOGITY BOOGITY

Installation

1. Download Lean autonomous bundle (say) from https://leanprover-community.github.io/get_started.html
2. Checkout this repository when you are in folder trylean. Now you should have the folder trylean/my-lean-test
3. Modify the contents of trylean.bat to .\vscodium\VSCodium my-lean-test
4. BOOGITY BOOGITY

Instructions

1. Run trylean.bat
2. Navigate to any lean file
3. BOOGITY BOOGITY