papers-with-friends
| Topic | Replies | Views | Activity | |
|---|---|---|---|---|
| Papers with Friends: Katara - Synthesizing CRDTs with Verified Lifting |
|
1 | 875 | October 17, 2022 |