Canonical event

Xena Project mathematicians publish formalization roadmap

Authors publish Oct16 proposal for mathematician-led scaled Lean formalization; not evidence mathematics fully formalized.