中科大-耶鲁 高可信软件联合研究中心

Automated Theorem Prover with Machine-Checkable Proofs