MAS & HOL

Schlichtkrull, A. (Participant)

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

Description

Formalization of Algorithms and Logical inference Systems in Proof Assistants

Talk "Formalization of Algorithms and Logical inference Systems in Proof Assistants"
Period28 Sep 2016
Event typeSeminar