Learn Lean

https://lean-lang.org/learn/

Learn Lean is a comprehensive learning platform for the Lean functional programming language and...

Tokens:554
Snippets:21
Trust Score:10
Update:6 months ago
Tokens:
Raw