Initial public artifact release for CSLibPremiseBench.
Paper: https://arxiv.org/abs/2605.14549
Artifact DOI: https://doi.org/10.5281/zenodo.20176641
This release contains the public artifact package and paper source materials for the CSLibPremiseBench v0.1.0 benchmark/audit paper.
The artifact reports source-visible CSLib proof-reference retrieval, not elaborated Lean dependency traces and not proof-generation performance.