Skip to content

Operational-Transformation/ot.v

BranchesTags

Folders and files

NameName
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

Resources

Readme

License

MIT license
Activity
Custom properties

Stars

9 stars

Watchers

2 watching

Forks

4 forks
Report repository

Releases

No releases published

Packages

 
 
 

Contributors

Languages