Proof Assistants and Related Tools - The PART & PART 2 Projects 2017

Activity: Attending an eventParticipating in or organising workshops, courses, seminars etc.

Description

Anders Schlichtkrull (joint work with Jasmin Christian Blanchette, Dmitriy Traytel and Uwe Waldmann): Formalization of an Ordered Resolution Prover in Isabelle/HOL

Talk "Formalization of an Ordered Resolution Prover in Isabelle/HOL" at PART
Period7 Sep 2017
Event typeWorkshop
LocationKgs. Lyngby, Denmark