Published package / CLIR

calc.proof_checker

v0.1.0

The package has no official source title — in CLIR its package carries neither description nor labels, and the showcase will not invent one.

VersioncontentHashSize
0.1.0sha256:0c8a798b3fd5…131 KB

There is one version: the corpus has not yet published a second edition of any package. The list stays a list on purpose — there will be no “publication date” column here, time never enters the artefacts.