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