Skip to content

SAS

Seminar

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

Alama, J (Universidade Nova de Lisboa (UNL))
Thursday 01 March 2012, 13:30-15:00

Seminar Room 2, Newton Institute Gatehouse

Back to top ∧