20 Years of industrial theorem proving with Spark
http://www.spark-2014.org/uploads/itp_2014_r610.pdf [www.spark-2014.org]
2016-12-28 23:42
Time taken used to do proof is not just a number, it has significant impact on how the tools are used.
20 Years of industrial theorem proving with Spark
http://www.spark-2014.org/uploads/itp_2014_r610.pdf [www.spark-2014.org]
2016-12-28 23:42
Time taken used to do proof is not just a number, it has significant impact on how the tools are used.