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

  • Anders Schlichtkrull (Participant)

Activity: Attending an event › Participating 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 Sept 2017
Event typeWorkshop
LocationKgs. Lyngby, DenmarkShow on map