Geeks
mmalvarez
/
canonical-stores
Canonical Key-Value Store Implementations in Isabelle
Primary Language
Isabelle
MIT License
MIT
canonical-stores GitHub
Markdown
Readme
0
Issues
0
Stargazers
1
Watcher
canonical-stores
Canonical Key-Value Store Implementations in Isabelle