Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
Microsoft Research's community of software engineering tools
(
rise4fun.com
)
29 points
by
quazar
on Feb 16, 2019
|
hide
|
past
|
favorite
|
1 comment
darzu
on Feb 16, 2019
[–]
The Dafny tutorials in particular I think are really great, especially if you want to dip your toes into formal verification. It's the most approachable formal verification language environment I know of.
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
