Repos
/
specs.git
/ summary
Description:
Formal specifications
Last Change:
8 months ago
Clone URL:
Commit Briefs
8 months ago
Sergey Bronnikov
spin: initial version of 2pc model
(master)
diff
|
patch
|
tree
Branches
8 months ago
master
summary
|
commit briefs
|
commits
Tags
This repository contains no tags
Tree
spin/