Geeks
co-dan
/
SeLoC
Strong non-interference for fine-grained concurrent programs
Primary Language
Coq
Other
NOASSERTION
SeLoC GitHub
Markdown
Readme
1
Issue
3
Stargazers
3
Watchers
Issues
Open issue
Set up the Github action/CI
#2 opened
3 years ago
by
co-dan
0