4 ms·Seems that Lean could be considered as a programming language for mathematical proofs.by nuc1e0n 3y agoSeems that Lean could be considered as a programming language for mathematical proofs.