Published package / CLIR
arxo.order_composition
v0.1.0Совместная поддержка цепочки порядка правилами Lean и Isabelle
arxo.order_composition
| Edition | Language | Events | Materialisation |
|---|---|---|---|
| Import_Edition_730d725c8a59d3a7303def2bed041a577edb4255aabd4889ce12918311d952f0 | en | no | PINNED_UNOFFICIAL_COPY |
There are no revisions within one language: each language edition of this work has a single version, and there is nothing to compare.
Replacement of the act
Not measured: no-edition-boundary.