Home
Posts
Publications
My setup
Contact
About
Posts tagged with "propositions as types"
Interactive Theorem Proving
Giving a Talk on Propositions as Types
Typed Functional Programming and Software Correctness