quanttype

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