Hacker News new | ask | show | jobs
Building a “Simple” Distributed System – Formal Verification (jack-vanlightly.com)
1 points by mncaudill 1132 days ago