logoalt Hacker News

2muchcoffeeman • today at 3:30 AM • 0 replies • view on HN

Why wouldn’t you use dafny?