Published package / CLIR
arxo.order_composition
v0.1.0Совместная поддержка цепочки порядка правилами Lean и Isabelle
| Work | Number | Editions | Fragments |
|---|---|---|---|
| arxo.order_composition | sha256:30f35c587509a19bcfedb33d57ab4a3f64c7b9405df4ad5b867fea085c827f30 | 1 | 1 |