GitHub repository: qafny/qafny_impl
Primary language: Haskell
Created: 2025-01-02T05:19:22Z
Description: Qafny to Dafny Compiler