Skip to content
OSSF Scorecard

proof(verisimdb): close V1 (Octad coherence invariant) in Idris2 #232

Sign in to view logs

proof(verisimdb): close V1 (Octad coherence invariant) in Idris2

proof(verisimdb): close V1 (Octad coherence invariant) in Idris2 #232

Triggered via push April 17, 2026 19:18
@hyperpolymathhyperpolymath
pushed e2e5d9b
main
Status Success
Total duration 25s
Artifacts –

scorecard.yml

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