Published March 9, 2026
| Version lean-rigidity-chain-v2
Software
Open
chronos-urf-rr
Authors/Creators
Description
Verified chain with constructive witness semantics.
Notes
If you use this software or its artifacts, please cite it as below.
Files
inaciovasquez2020/chronos-urf-rr-lean-rigidity-chain-v2.zip
Files
(6.3 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:6983091e2820d0f79c6d29d87d23d164
|
6.3 MB | Preview Download |
Additional details
Related works
- Is supplement to
- Software: https://github.com/inaciovasquez2020/chronos-urf-rr/tree/lean-rigidity-chain-v2 (URL)
Software
- Repository URL
- https://github.com/inaciovasquez2020/chronos-urf-rr