Types in mathematical proofs Georges Gonthier Legacy •  Interactive theorem proving

First Page		Document Content
Date: 2012-10-10 03:52:00 Mathematics Algebra Linear algebra Matrix theory Determinant Summation Leibniz formula for determinants Permanent		Types in mathematical proofs Georges Gonthier Legacy •  Interactive theorem proving Add to Reading List Source URL: events.inf.ed.ac.uk Download Document from Source Website File Size: 1,57 MB Share Document on Facebook