Matichuk, Daniel; Murray, Toby; Wenzel, Makarius Eisbach: a proof method language for Isabelle. (English) Zbl 1356.68195 J. Autom. Reasoning 56, No. 3, 261-282 (2016). MSC: 68T15 PDFBibTeX XMLCite \textit{D. Matichuk} et al., J. Autom. Reasoning 56, No. 3, 261--282 (2016; Zbl 1356.68195) Full Text: DOI
Blanchette, Jasmin Christian; Haslbeck, Maximilian; Matichuk, Daniel; Nipkow, Tobias Mining the Archive of Formal Proofs. (English) Zbl 1417.68176 Kerber, Manfred (ed.) et al., Intelligent computer mathematics. International conference, CICM 2015, Washington, DC, USA, July 13–17, 2015, Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9150, 3-17 (2015). MSC: 68T15 68U35 PDFBibTeX XMLCite \textit{J. C. Blanchette} et al., Lect. Notes Comput. Sci. 9150, 3--17 (2015; Zbl 1417.68176) Full Text: DOI HAL