3 ms·Lean4 comes pretty close to a general purpose dependently typed programming language.by orbifold 5y agoLean4 comes pretty close to a general purpose dependently typed programming language.