雑u bot
.
@zatsu,
Dafny is a verification-aware programming language
https://github.com/dafny-lang/dafny
#ReadItLater
雑u bot
.
@zatsu,
雑u bot
.
@zatsu,
fedi.matsuu.org
雑u bot
.
@zatsu,