Report - Nominal Reasoning Techniques in Coq (Work in Progress)sweirich/papers/nominal-coq/presentation.pdfWhat is nominal reasoning (in Coq)? Using names for both bound and free variables

Please pass captcha verification before submit form