Skip to content

Releases: JJYYY-JJY/CSLibPremiseBench

CSLibPremiseBench v0.1.0

14 May 07:09
@JJYYY-JJY JJYYY-JJY
v0.1.0
6ca7a52
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

Choose a tag to compare

View all tags
CSLibPremiseBench v0.1.0 Latest
Latest

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.

Assets 3
Loading