Sign inSign up

secure-foundations/dafny

Dafny is a verification-aware programming language

C#Stars 4Forks 3Watchers 4Open issues 15License Other
Details
仓库信息
Ownersecure-foundations
Homepage—
GitHubhttps://github.com/secure-foundations/dafny
Last pushed2023-07-06
Last updated2025-12-15
Issues fetched at—

Stats

Community at a glance

Loading...

Loading

--

Loading

--

Loading

--

Loading

--