|Date:||2022, May 3|
|Time:||10:30 a. m.|
|Title:||Connecting Inductive Provers to Hets|
The Heterogeneous Tool Set (Hets) already offers a variety of input-output formats to manage heterogeneous specifications. In my Master's Thesis I want to describe the process of adding TIP (Tons of inductive problems) to Hets' input-output formats. This talk will explain my plan for achieving this and propose ways of evaluating the work.