UP | HOME

Software development

You will find here some programs that I have developed. A special kind of programs will also be present : programs that represent proofs. Indeed, there is a well-known correspondence between programs and proofs, on the first hand, types and logical formulas on the second hand : the Curry-Howard isomorphism.

Last Updated 2015-04-17T08:45+0200. Comments or questions: Send a mail.