Опубликованный пакет / CLIR

`isabelle.order`

v0.1.0

Правила порядка Isabelle: строгая транзитивность, смешанный шаг и ослабление

Версия	contentHash	Размер
0.1.0	sha256:ea325ae08c02…	42 KB

Версия одна: корпус пока не публиковал вторую редакцию ни одного пакета. Список остаётся списком намеренно — колонки «дата публикации» здесь не будет, время в артефакты не попадает.