Welcome to IntrastiBETA

Step inside a digital cabinet of curiosities and clever tools.

2 results
Lean Programming Language lean-lang.org Lean is an open-source programming language and proof assistant that enables correct, maintainable, and formally verified code.
Redirecting to lean-lang.org leanprover.github.io