https://github.com/bor0/dafny-tutorial

Exercises for the Dafny Tutorial
https://github.com/bor0/dafny-tutorial

dafny exercises formal-verification

Last synced: 2 months ago
JSON representation

Exercises for the Dafny Tutorial

• Host: GitHub
• URL: https://github.com/bor0/dafny-tutorial
• Owner: bor0
• Created: 2018-05-13T17:44:07.000Z (over 6 years ago)
• Default Branch: master
• Last Pushed: 2018-05-21T11:52:55.000Z (over 6 years ago)
• Last Synced: 2023-03-23T05:11:41.570Z (almost 2 years ago)
• Topics: dafny, exercises, formal-verification
• Language: PHP
• Homepage:
• Size: 8.79 KB
• Stars: 4
• Watchers: 1
• Forks: 6
• Open Issues: 0

Awesome Lists containing this project