|
|
|
|
|
|
by wizzwizz4
317 days ago
|
|
|
If it is not suitable for programming, then it should not be branded as a programming language. Heck, its homepage says: > Lean's metaprogramming capabilities enable users to extend the language with domain-specific notations and new proof automation techniques. |
|
|