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

    Schlichtkrull, A. (Participant)
    7 Sep 2017

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

  3. 2016
  4. MAS & HOL

    Schlichtkrull, A. (Participant)
    28 Sep 2016

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

  5. Club2

    Schlichtkrull, A. (Participant)
    11 May 2016

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

  6. Proof Assistants and Related Tools - The PART & PART 2 Projects 2016

    Schlichtkrull, A. (Participant)
    20 Apr 2016

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

  7. 2015
  8. PART

    Schlichtkrull, A. (Participant)
    30 Sep 2015

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

Download list:
Download as PDF
Select render style:
ShortLong
PDF
Download as HTML
Select render style:
ShortLong
HTML
Download as Word
Select render style:
ShortLong
Word