Alkemet News
Developing provably correct Rust code with Verus (amazon.science)

107 points

byBetelbuddy

3 days ago |

12 comments