Опубликованный пакет / CLIR
arxo.order_composition
v0.1.0Совместная поддержка цепочки порядка правилами Lean и Isabelle
| Работа | Номер | Редакций | Фрагментов |
|---|---|---|---|
| arxo.order_composition | sha256:30f35c587509a19bcfedb33d57ab4a3f64c7b9405df4ad5b867fea085c827f30 | 1 | 1 |