search

xldrx / reading_group

3 stars 3 forks source link

IronFleet: Proving Practical Distributed Systems Correct #372

Closed xldrx closed 7 years ago