Lean Programming Language - with formally verified code (lean-lang.org)
in programming_languages@programming.dev from Kissaki@programming.dev on 31 Jul 06:52
comments (5)