Geeks
Operational-Transformation
/
ot.v
Formalisation of Operational Transformation in Coq
Primary Language
Coq
MIT License
MIT
ot.v GitHub
Markdown
Readme
0
Issues
9
Stargazers
3
Watchers