Tag: Mizar

• Mizar: the first usable proof assistant for mathematics (07 May 2026)
  
• What is the point of formalising mathematics? (22 Jun 2022)
  
• Formalising mathematics in set theory (02 Feb 2022)
  
• ALEXANDRIA: Large-Scale Formal Proof for the Working Mathematician (08 Dec 2021)