Tag: Archive of Formal Proofs

• The End (?) of the ALEXANDRIA project (31 Aug 2023)
  
• The ALEXANDRIA Project: what has been accomplished? (27 Apr 2023)
  
• Porting libraries of mathematics between proof assistants (14 Sep 2022)
  
• Formalising Gödel's incompleteness theorems, I (18 May 2022)
  
• A classical proof: exponentials are irrational (16 Feb 2022)
  
• Is Zermelo-Fraenkel set theory the foundation of mathematics? (26 Jan 2022)
  
• ALEXANDRIA: Large-Scale Formal Proof for the Working Mathematician (08 Dec 2021)
  
• An Experiment: the Cauchy–Schwarz inequality (17 Nov 2021)