curve theorem. Formalized Mathematics, 13(4):481491, 2005. 27 P. Letouzey, A new extraction for Coq (2003)

by A Korni̷lowicz, Jordan
Venue:Proceedings of the TYPES Conference 2002, LNCS 2626