3 ms·No, although I don't think you'd try to make a website backend in lean.by Zhyl 6y agoNo, although I don't think you'd try to make a website backend in lean.Rochus 6y ago> you'd try to make a website backend in lean Well, I would neither use Haskell for this purpose, and Lean is indeed supposed to also be a "programming language", not only a theorem prover.Zhyl 6y agoThat's interesting, I've only ever seen it being used in the context of mathlib.