Опубликованный пакет / CLIR
rocq.order
v0.1.0Правила порядка Rocq над ℚ: строгая транзитивность, смешанный шаг и ослабление
rocq
| Редакция | Язык | События | Материализация |
|---|---|---|---|
| Import_Edition_6ed19e2eff811757d626083656cd1ce8132c17ab1851fd314c8496f5b2f79df0 | en | нет | PINNED_OFFICIAL_BYTES |
Ревизий внутри одного языка нет: у каждой языковой редакции этой работы единственная версия, сравнивать не с чем.
Замена акта
Не измеряется: no-edition-boundary.