Theorem Prover Websites

- functologic.com

André Platzer, Associate Professor @ Carnegie Mellon University. Research, publications, tools, and teaching on logic, computer science, mathematics, hybrid systems, and verification.

Not Applicable $ 8.95

- www-cav2009.imag.fr

CAV 2009 Conference

Not Applicable $ 8.95

- leodemoura.github.io

Leonardo de Moura' Homepage

Not Applicable $ 8.94