Dafny version 1.6 added support for co-induction. Version 1.6.1 improves the features of the "calc" statement for proof calculations.
↧
Channel:
dafny Releases Rss Feed
X
Are you the publisher?
Claim or
contact us
about this channel.
X
0
Channel Details:
- Title: dafny Releases Rss Feed
- Channel Number: 35923431
- Language: English
- Registered On: November 2, 2014, 11:29 pm
- Number of Articles: 39
- Latest Snapshot: July 17, 2016, 11:16 am
- RSS URL: http://dafny.codeplex.com/project/feeds/rss?projectrssfeed=codeplex://release/dafny
- Publisher: https://dafny.codeplex.com/releases
- Description: dafny Releases Rss Description
- Catalog: //dafny5.rssing.com/catalog.php?indx=35923431
© 2025 //www.rssing.com