Skip to main content
PRL Project

Interfacing with Proof Assistants for Domain Specific Programming Using EventML

by Vincent Rahli
2012

Presented at the Workshop for User Interfaces for Theorem Provers (UITP12)

bibTex ref: RahUITP12


cite link