• Home
• tags
• ownership

• Dafny vs. Dala: Experience with Mechanising Language Design

Michael Homer — 2026 b0231a86