Theory
Swansea, Department of Computer Science
Menu
Skip to content
Home
About
People
Projects
Current projects
CID
CHERISH-DE
Railway Verification Group
Past projects
COMPUTAL
CORCON
DETIPS
PLANCOMPS
Seminars and Workshops
Seminars Calendar
PCV seminar series
The Russell Club
Publications
Tag Archives:
proof assistant
Prawf: an interactive proof assistant for program extraction (CIE 2020 talk)
Translate »
