GitHub - Operational-Transformation/ot.v: Formalisation of Operational Transformation in Coq · GitHub

Name		Name	Last commit message	Last commit date
Latest commit History 20 Commits
.gitignore		.gitignore
.travis.yml		.travis.yml
Extraction.v		Extraction.v
ExtractionOCaml.v		ExtractionOCaml.v
LICENSE		LICENSE
ListOperation.v		ListOperation.v
README.md		README.md

Repository files navigation

About

Formalisation of Operational Transformation in Coq

Custom properties

10 stars

2 watching

Report repository

Releases

Packages

Contributors

Languages