Report - Programming and Proving with Classical Typesvb358/articles/aplas17.pdf · [email protected], [email protected], [email protected] Abstract. The propositions-as-types

Please pass captcha verification before submit form