Hacker News new | comments | show | ask | jobs | submit login
A formal proof assistant which could help to make few crypto coins (inria.fr)
2 points by Ceezy 188 days ago | hide | past | web | favorite



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

Search: