HN
Hacker News
Top
New
Best
Ask
Show
Jobs
Comment by compressedgas | Hacker News Reader
Full thread
compressedgas
·
Looks like it's a C version of Dafny.
View on HN
akiarie
·
A lot of truth to this. (Speaking as one of the creators of Xr0).
Reply on news.ycombinator.com