International Spring School on FORMALIZATION OF MATHEMATICS (MAP 2012) March, 1216, 2012, Sophia Antipolis,France 

Program
Course contentsUsing computers to state and prove theoremsPrinciples and practice of goal directed proofsA guided tour of the ssreflect libraryLectures on advanced topics


