Tag: ALEXANDRIA

• The End (?) of the ALEXANDRIA project (31 Aug 2023)
  
• The ALEXANDRIA Project: what has been accomplished? (27 Apr 2023)
  
• What is the point of formalising mathematics? (22 Jun 2022)
  
• ALEXANDRIA: Large-Scale Formal Proof for the Working Mathematician (08 Dec 2021)