3 ms·
The Lean theorem prover is a proof assistant developed principally by Leonardo de Moura at Microsoft Research.
by bx376 5y ago
The Lean theorem prover is a proof assistant developed principally by Leonardo de Moura at Microsoft Research.
loading thread…