The final bit is in
Падабаецца 0
Рэпосты 0
@vitaut
The syntax makes the mathematicians in me very happy :) Excuse my ignorance, but what is this written in?
Падабаецца 0
Рэпосты 0
@jbowen This is Lean: https://lean-lang.org/. I absolutely love it.
Lean Language
Lean Programming Language
Lean is an open-source programming language and proof assistant that enables correct, maintainable, and formally verified code.
Падабаецца 0
Рэпосты 0
Адказаў пакуль няма 🐣