Skip to content
TypeScript/JavaScript Blocker

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

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 #6

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

ts-blocker.yml

on: push
check
4s
check
Fit to window
Zoom out
Zoom in