Zobrazeno 1 - 2
of 2
pro vyhledávání: '"Rädle, Jonas"'
Publikováno v:
EPTCS 363, 2022, pp. 93-113
Worldwide, computer science departments have experienced a dramatic increase in the number of student enrolments. Moreover, the ongoing COVID-19 pandemic requires institutions to radically replace the traditional way of on-site teaching, moving inter
Externí odkaz:
http://arxiv.org/abs/2207.12703
We present a novel approach to combine the HOL4 and Isabelle theorem provers: both are implemented in SML and based on distinctive variants of HOL. The design of HOL4 allows to replace its inference kernel modules, and the system infrastructure of Is
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::9180994cf87d7b255d3d7ac2bbe11225