Tag: sledgehammer

• Two small examples by Fields medallists (28 Feb 2024)
  
• Porting the HOL Light metric space library (12 Jul 2023)
  
• Dealing with descriptions in Isabelle/HOL: least, greatest, whatever (08 Jun 2022)
  
• Getting started with Isabelle: baby examples, cool proof methods (04 May 2022)
  
• Sledgehammer: some history, some tips (13 Apr 2022)
  
• Introductory example: Fibonacci numbers (13 Oct 2021)