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

  • Anders Schlichtkrull (Participant)

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

Description

IsaFoL - Isabelle Formalization of Logic - A Brief Overview

Talk "IsaFoL - Isabelle Formalization of Logic - A Brief Overview"
Period9 Nov 2017
Event typeWorkshop
LocationKgs. Lyngby, DenmarkShow on map