Skip to content
GitLab
Menu
Why GitLab
Pricing
Contact Sales
Explore
Why GitLab
Pricing
Contact Sales
Explore
Sign in
Get free trial
Matt Quinn
CertChain
Repository
CertChain
FormalSpecification.tla
Find file
Blame
History
Permalink
Adding formal specification of conesnsus protocol to repository.
· 71d093c9
Matt Quinn
authored
Jan 14, 2016
71d093c9