Dafny is a quite nice and actually useable tool but unfortunately .Net only.
- New entry on Nim blog... cantanima
- Re: New entry on Nim blog... mratsim
- Re: New entry on Nim blog... spip
- Re: New entry on Nim blog... Araq
- Re: New entry on Nim blog... miran
- Re: New entry on Nim blog... moerm
- Re: New entry on Nim blog... akavel
- Re: New entry on Nim blog... moerm
