Theory

Swansea, Department of Computer Science

Skip to content

Home
About
People
Projects
- Current projects
- Past projects
  - COMPUTAL
  - CORCON
  - DETIPS
  - PLANCOMPS
Seminars and Workshops
Publications

Tag Archives: proof assistant

Prawf: an interactive proof assistant for program extraction (CIE 2020 talk)

This entry was posted in Conference, Research students and tagged IFP, logic, proof assistant on July 1, 2020 by OP.

Search for:

Recent Posts

Welcome to Giovanni Solda
Congratulations to Jay
Special session in honour of Ulrich Berger @ CCC 2021
Troy Astarte is joining Swansea University
Pierre Pradic joining Swansea University

Archives

Categories

Break through result
Conference
Event
Invited talk
Members
New project
PhD Viva
Postdoc
Research
Research students
Research trip
Research visit
school
Theory Seminar Series
Workshop

Meta

Log in
Entries RSS
Comments RSS
WordPress.org

Proudly powered by WordPress

Translate »