BT

Theorem Prover  Content on InfoQ rss

News about Theorem Prover rss

Development Follow 747 Followers Idris Getting Close to Version 1.0 by Sergio De Simone Follow 21 Followers Posted on Dec 19, 2016

Followers LINQ to Z3, The World’s Fasted Theorem Prover by Jonathan Allen Follow 639 Followers Posted on Nov 29, 2010 6

BT