Tag: locales

• The Dottie Number (26 Jun 2026)
  
• Probabilistic reasoning and formal proof (21 Aug 2024)
  
• The End (?) of the ALEXANDRIA project (31 Aug 2023)
  
• Porting the HOL Light metric space library (12 Jul 2023)
  
• Type classes versus locales (23 Mar 2022)