[2205.12425] Katara: Synthesizing CRDTs with Verified Lifting - discu.eu

Hacker News

Katara: Synthesizing CRDTs with Verified Lifting https://arxiv.org/abs/2205.12425 20 comments 26/9/2022

Linking pages

GitHub - hydro-project/katara: Synthesize CRDTs from classic data types with verified lifting! https://github.com/hydro-project/katara 0 comments

Related searches:

Search whole site: site:arxiv.org

Search title: [2205.12425] Katara: Synthesizing CRDTs with Verified Lifting

See how to search.

Submit link to: