Implicational Rewriting Tactics in HOL

Vincent Aravantinos und Sofiene Tahar

Interactive Theorem Proving (ITP), pp. 45-60

2014 · DOI: 10.1007/978-3-319-08970-6

Url: http://dx.doi.org/10.1007/978-3-319-08970-6

URL DOI BibTeX Zurück