Model version · ProSRL
ProSRL at 8d4ce5fd0f5f
The ProSRL repository at revision 8d4ce5fd0f5f, as read on 2026-10-01.
This Revision
- Upstream revision
- 8d4ce5fd0f5f90f5991477fbbcf0e93dcebd119e
- Observed by SAVRN
- 2026-10-01T03:46:37
- Artifact formats
- Not stated by the source
- Parameters, publisher reported
- Not stated by the source
- Architecture
- Not stated by the source
- License as stated
- Not stated by the source
- Released upstream
- 2026-09-30
All Recorded Versions
| Version | Observed | Formats | State |
|---|---|---|---|
| 8d4ce5fd0f5f | 2026-10-01 | — | Current |