MAS & HOL

  • Anders Schlichtkrull (Participant)

Activity: Attending an event › Participating 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 Sept 2016
Event typeSeminar