Posts tagged with "theorem proving"

• Interactive Theorem Proving
• Giving a Talk on Propositions as Types
• Competing Against Wadler
• Isomorphism and Embedding
• Typed Functional Programming and Software Correctness
• Proving Parity in Idris