Published June 30, 2026
| Version v1
Software
Open
Lean 4 demostration
Authors/Creators
-
1.
Universitat Politècnica de València
Files
RPCS_LeanCode.zip
Files
(31.4 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:742f3eef5834d125af0eb48f26a6903f
|
31.4 kB | Preview Download |
Additional details
Dates
- Accepted
-
2026-06-29
Software
- Repository URL
- https://git.upv.es/gii-ai2-open/riai_rcps