Structural Analysis of Mathematical Proofs

Project Information

STRUCTPROOFS

Grant agreement ID: 237091

Closed project

Start date 1 November 2009

End date 31 October 2011

Funded under

• Specific programme "People" implementing the Seventh Framework Programme of the European Community for research, technological development and demonstration activities (2007 to 2013)

Total cost € 157 279,59

EU contribution € 157 279,59

Coordinated by

Université Paris Diderot-Paris 7
France