| ▲ | gowld 3 hours ago | |
That's like saying the future of code is Assembler. Lean is not for humans. | ||
| ▲ | epgui 2 hours ago | parent [-] | |
Lean is for humans. | ||
| ▲ | gowld 3 hours ago | |
That's like saying the future of code is Assembler. Lean is not for humans. | ||
| ▲ | epgui 2 hours ago | parent [-] | |
Lean is for humans. | ||