Hacker News new | comments | show | ask | jobs | submit login

That's fantastic. Would be a great contribution to people interested in formal methods. How's your email?



Guidelines | FAQ | Support | API | Security | Lists | Bookmarklet | DMCA | Apply to YC | Contact

Search: