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