dafny-lang / DafnyRuntimeGo Public

Notifications You must be signed in to change notification settings
Fork 0
Star 0

The Go version of the Dafny runtime library

0 stars 0 forks Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 5 Commits
v4		v4
.gitignore		.gitignore
LICENSE		LICENSE
README.md		README.md
go.mod		go.mod

Repository files navigation

DafnyRuntimeGo

The Go version of the Dafny runtime library

About

The Go version of the Dafny runtime library

Custom properties

Report repository

Releases

Packages

No packages published

Languages

Go 100.0%