Periodic Reporting for period 4 - ALEXANDRIA (Large-Scale Formal Proof for the Working Mathematician)
Project: ALEXANDRIA
Updated at: 14-05-2024
Show more
information
Project acronym
ALEXANDRIA