Dedukti: a universal proof checker (2013)

by Ronan Saillard
Venue:In Foundation of Mathematics for Computer-Aided Formalization Workshop