The Program is the Proof: propositions in type theory #1 Post by MarkCC » Wed, Feb 04, 2015, 10:31 PM UTC The Program is the Proof: propositions in type theorygoodmath.org