Date: | 2018, June 13 |
Author: | Günther, Stephan |
Title: | A Demo of the Hets RESTful Interface |
The heterogeneous tool set (Hets) is a tool that integrates various specification languages with a multitude of different theorem provers. Hets' capabilities can be accessed through multiple interfaces, i.e., a command line interface (CLI), a graphical user interface (GUI), an interactive command prompt and an HTTP based REST API. This talk will focus on the RESTful interface. The call syntax and options of selected REST API calls will be outlined and their usage will be demonstrated on example specifications. The talk will conclude with a note on the API's significance for the integration of Hets into other projects.