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