Conjecturing
Why Conjecturing?
Under construction. 👷⚒️🚧
Project List
Here is a list of my current and former projects with a focus on conjecturing. The acronyms correspond to the names used in the project dependency graph.
- TemplateBased: Template-Based Conjecturing for Automated Induction in Isabelle/HOL
- GoalOriented: Goal-Oriented Conjecturing for Isabelle/HOL