Synthesize CRDTs from classic data types with verified lifting!
Why do you think that https://github.com/hydro-project/hydroflow is a good alternative to katara
Synthesize CRDTs from classic data types with verified lifting!
Why do you think that https://github.com/hydro-project/hydroflow is a good alternative to katara