3 ms·
Microsoft Research's community of software engineering tools
- darzu 8y agoThe 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.