3 ms·The Lean Theorem Prover2 points by bx376 5y agobx376 5y agoThe Lean theorem prover is a proof assistant developed principally by Leonardo de Moura at Microsoft Research.