Tag: Lean

• "Why not just use Lean?" (23 Apr 2026)
  
• 50 years of proof assistants (05 Dec 2025)
  
• "Why don't you use dependent types?" (02 Nov 2025)
  
• Revisiting an early critique of formal verification (14 Mar 2025)
  
• Two small examples by Fields medallists (28 Feb 2024)
  
• The ALEXANDRIA Project: what has been accomplished? (27 Apr 2023)
  
• What is the point of formalising mathematics? (22 Jun 2022)
  
• Equivalence classes and quotienting (30 Mar 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)