Benzmüller, Christoph Higher-order automated theorem provers. (English) Zbl 1431.68122 Woltzenlogel Paleo, Bruno (ed.) et al., All about proofs, proofs for all. London: College Publications. Stud. Log. (Lond.) 55, 62-90 (2015). MSC: 68V15 03B16 03B35 03F07 PDFBibTeX XMLCite \textit{C. Benzmüller}, Stud. Log. (Lond.) 55, 62--90 (2015; Zbl 1431.68122)
Benzmüller, Christoph; Sultana, Nik; Paulson, Lawrence C.; Theiß, Frank The higher-order prover Leo-II. (English) Zbl 1356.68176 J. Autom. Reasoning 55, No. 4, 389-404 (2015). MSC: 68T15 03B35 PDFBibTeX XMLCite \textit{C. Benzmüller} et al., J. Autom. Reasoning 55, No. 4, 389--404 (2015; Zbl 1356.68176) Full Text: DOI
Schröder, Lutz; Mossakowski, Till HasCasl: integrated higher-order specification and program development. (English) Zbl 1172.68040 Theor. Comput. Sci. 410, No. 12-13, 1217-1260 (2009). MSC: 68Q65 03B15 03B70 68N18 68N30 PDFBibTeX XMLCite \textit{L. Schröder} and \textit{T. Mossakowski}, Theor. Comput. Sci. 410, No. 12--13, 1217--1260 (2009; Zbl 1172.68040) Full Text: DOI