| ▲ | treyd a day ago | |
This is wild, I had no idea Lean could be used for things like this. | ||
| ▲ | lastmjs a day ago | parent [-] | |
That's what hooked me on Lean. Lean is a general-purpose software development language, not just a formal verification language. This is powerful. | ||