Skip to content
OSSF Scorecard

fix: correct 'formal soundness' claim — proofs are pending, not done #4

Sign in to view logs

fix: correct 'formal soundness' claim — proofs are pending, not done

fix: correct 'formal soundness' claim — proofs are pending, not done #4

Triggered via push March 30, 2026 08:59
@hyperpolymathhyperpolymath
pushed 3cad52b
main
Status Success
Total duration 46s
Artifacts –

scorecard.yml

on: push
analysis
41s
analysis
Fit to window
Zoom out
Zoom in