discu
Newsletters
Mentions
Extension
Pricing
Login
Sign Up
Hacker News
My first experience with formal methods
http://zipcpu.com/blog/2017/10/19/formal-intro.html
19 comments
20/10/2017