Lean 4

https://lean4.dev/

Lean 4 is a modern functional programming language and interactive theorem prover for writing...

Tokens:134,904
Snippets:1,471
Trust Score:4.2
Update:2 months ago
Tokens:
Raw