Published March 6, 2026
| Version resxor-layer-docs-v1
Software
Open
chronos-urf-rr
Authors/Creators
Description
Specification and documentation for the Lean ResXor formalization layer.
Notes
If you use this software or its artifacts, please cite it as below.
Files
inaciovasquez2020/chronos-urf-rr-resxor-layer-docs-v1.zip
Files
(6.1 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:ad81d53b8073b010c5f3f4128a3e5d6c
|
6.1 MB | Preview Download |
Additional details
Related works
- Is supplement to
- Software: https://github.com/inaciovasquez2020/chronos-urf-rr/tree/resxor-layer-docs-v1 (URL)
Software
- Repository URL
- https://github.com/inaciovasquez2020/chronos-urf-rr