informalsystems / informalsystems/agoric-kernel-models
add link to TLA+ CONFERENCE 2021 from README?
Open
- Dominant language
- TLA
- Stars
- 3
- Forks
- 0
- PR merge metrics
- No merged PRs in 30d
Description
Please add a link to the paper / presentation
TLA+ Specification and Model Checking of the Agoric Smart Contracts Kernel
http://conf.tlapl.us/2021/
Contributor guide
No contributing guide indexed for this repository
Assessment
This issue has not been assessed yet.