Return to Article Details QED Reloaded: Towards a Pluralistic Formal Library of Mathematical Knowledge Download Download PDF