Geeks
microsoft
/
Nimble
Rollback protection for confidential services
Primary Language
Rust
MIT License
MIT
Nimble GitHub
Markdown
Readme
2
Issues
31
Stargazers
4
Watchers
Issues
Closed issue
Formal Verification Scope and Specification
#6 opened
a year ago
by
eozturk1
2