Higher-order proof translation

Nikolai Sultana
The case for interfacing logic tools together has been made countless times in the literature, but it is still an important research question. There are various logics and respective tools for carrying out formal developments, but practitioners still lament the difficulty of reliably exchanging mathematical data between tools. Writing proof-translation tools is hard. The problem has both a theoretical side (to ensure that the translation is adequate) and a practical side (to ensure that the...
This data repository is not currently reporting usage information. For information on how your repository can submit usage information, please see our documentation.