Tag: automation

• Automation and engineering in mathematics, by Pedro Sánchez Terraf (16 Nov 2022)
  
• Verifying cryptographic protocols, II: a simple example (02 Nov 2022)
  
• Sledgehammer: some history, some tips (13 Apr 2022)