The INI has a new website!

This is a legacy webpage. Please visit the new site to ensure you are seeing up to date information.

Skip to content



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 ∧