This repository has been archived by the owner on Jan 8, 2024. It is now read-only.

appgvs / fv-project Public archive

Formally Verified Conflict-Free Replicated Data Types

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 120 Commits
document		document
scala		scala
.gitignore		.gitignore
CvRDT.thy		CvRDT.thy
DirectedGraph.thy		DirectedGraph.thy
Export.thy		Export.thy
GCounter.thy		GCounter.thy
IntegerVector.thy		IntegerVector.thy
Log.thy		Log.thy
Log2.thy		Log2.thy
PNSet.thy		PNSet.thy
PairCvRDT.thy		PairCvRDT.thy
README.md		README.md
ROOT		ROOT
USet.thy		USet.thy
VectorClock.thy		VectorClock.thy

Repository files navigation

fv-project

isabelle build -D . CRDT

# Generates the browser info
isabelle build -D . -o browser_info -v