| [YT18] |
Artem Yushkovskiy and Stavros Tripakis.
Comparison of two theorem provers: Isabelle/HOL and Coq.
CoRR, abs/1808.09701, 2018.
arXiv preprint.
[ bib |
arXiv |
http ]
A comparison of Isabelle/HOL and Coq. A surface level comparison of their formal basic (HOL vs. constructive), proof automation, code generation, proof size, theory libraries, expressibility, syntax, and IDE support. |
This file was generated by bibtex2html 1.99.