• Home
• authors
• Julian Mackay

• Dafny vs. Dala: Experience with Mechanising Language Design

Michael Homer — 2026 b0231a86