skip to content

Meeting of the Interest Group on Formal Mathematics: Fine-grained mathematical dependencies in the Mizar proof assistant

Presented by: 
J Alama Universidade Nova de Lisboa (UNL)
Thursday 1st March 2012 - 13:30 to 15:00
INI Seminar Room 2
University of Cambridge Research Councils UK
    Clay Mathematics Institute London Mathematical Society NM Rothschild and Sons