ARXO ATLAScanonical corpus

Published package / CLIR

mathlib.divisibility

v0.1.0

Правила делимости mathlib: транзитивность, рефлексивность и ступень Monoid→Semigroup при явной интерпретации

Cover of mathlib.divisibility: 25 CLIR nodes by family

Authored metadata / not derived

Label

Issuer
Arxo: условная интерпретация закреплённого Lean/mathlib
Jurisdiction
no sovereign — the norm was not issued by an authority
Kind of instrument
treatise
Status
doctrine, not an act of authority
What is pinned
authored exposition, not the text of the act

not verified No manual check of the text against the source is claimed: the bytes are pinned and hashed, but the author made no assertion of “read it and it matched”.

State of preservation

  • official bytes2 editions

    The bytes of the official publication are pinned.

  • unofficial copy1 edition

    A copy from an available source is pinned: the bytes are fixed by a hash, but they are not an official publication.

Depth of formalisation

6
1
EXECUTABLE 6
a deriving node refers to the fragment — something is derived from it
ANCHORED 0
addressable by a semantic node, but nothing is derived
SOURCE_ONLY 1
the text is pinned and addressable, no references

The levels are computed from CLIR; authored markup for them does not exist: hand markup would mean that an author’s mistake silently changes the completeness report. This is not a share of the act: the share of the document covered by fragments is measured against the bytes of the pinned publication and is not computed here.

Sources

  • mathlib.divisibility · sha256:ee960c38fa27843a12c9542941d5eccb42b42f00199da6af89ee17cbf5bee54c · editions: 1
  • mathlib.divisibility · sha256:ee960c38fa27843a12c9542941d5eccb42b42f00199da6af89ee17cbf5bee54c · editions: 1
  • mathlib.divisibility · sha256:ee960c38fa27843a12c9542941d5eccb42b42f00199da6af89ee17cbf5bee54c · editions: 1

Try it

This package is not embedded in the workbench, and it has no “try it” button: the button would open emptiness. The embedded ones were chosen for the mechanics they show, not by the importance of the act — any other package can be executed by opening its directory in the workbench from disk.

  • faraid.shares — Фараид — наследственный расчёт исламского права
  • intl.turkic.nakhchivan_2009 — Закон Республики Казахстан от 23 мая 2025 года № 191-VIII «О ратификации Протокола о внесении изменений в Нахичеванское соглашение о создании Совета сотрудничества тюркоязычных государств»
  • kz.corpus.capital_status — Конституционный закон Республики Казахстан «О статусе столицы Республики Казахстан»
  • kz.corpus.pinningexample — Положение о порядке учёта обращений
  • kz.corpus.socialassistance — Адресная социальная помощь (учебный срез)
  • kz.corpus.tuystyq — Туыстық жүйе — казахская система родства

Cite

The address of a norm is immutable: contentHash is computed over the canonical bytes, and any edit of the package yields a different hash. The link below points not at “the latest version” but at specific bytes — what citation requires and a version number does not give.

Правила делимости mathlib: транзитивность, рефлексивность и ступень Monoid→Semigroup при явной интерпретации · Import_Source_8bd3a20cc35406ce4a2f5b20a2ac6906fd0ee967c504d2e08751ead4bb5fb908 · mathlib.divisibility@0.1.0 · sha256:3e4589fc5fab0e27eb8d4f35685ea4b75e753e14b1b1d21ff87d413e6e51429c