Опубликованный пакет / CLIR
isabelle.order
v0.1.0Правила порядка Isabelle: строгая транзитивность, смешанный шаг и ослабление
| Работа | Номер | Редакций | Фрагментов |
|---|---|---|---|
| isabelle.order | sha256:e5988d63317612732ff10702b24bea8bd749a8c62b04f51db1eb338f36f5a17e | 1 | 3 |
| isabelle.order | sha256:e5988d63317612732ff10702b24bea8bd749a8c62b04f51db1eb338f36f5a17e | 1 | 4 |