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

`rocq.order`

v0.1.0

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

Версия	contentHash	Размер
0.1.0	sha256:8ccf5ac36c15…	14 KB

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