Event
Overview
Conference on formalization, Lean, and the architecture of mathematics.
PhilEvents provides the conference page for this meeting on architecture and formalization of mathematics, including venue and dates in Paris.
Program
A separate detailed programme was not identified; PhilEvents currently serves as the main conference page.