quanttype
,
about
,
archive
,
subscribe
New theorem prover: Lean
(2015-04-07)