Abduction Prover in Isabelle/HOL - Automated Theorem Proving and Conjecturing

Abduction Prover in Isabelle/HOL - Automated Theorem Proving and Conjecturing

Hausdorff Center for Mathematics via YouTube Direct link

Introduction

1 of 9
Next

1 of 9

Introduction

Class Central Classrooms beta

YouTube videos curated by Class Central.

Classroom Contents

Abduction Prover in Isabelle/HOL - Automated Theorem Proving and Conjecturing

Automatically move to the next video in the Classroom when playback concludes
  1. 1 Introduction
  2. 2 About me
  3. 3 Lessons of life
  4. 4 Isabelle
  5. 5 Demo
  6. 6 How it works
  7. 7 Conjecturing
  8. 8 Conjecturing Steps
  9. 9 Results

Never Stop Learning.

Get personalized course recommendations, track subjects and courses with reminders, and more.

Sign up for free
Someone learning on their laptop while sitting on the floor.