Skip to content
CodeQL Security Analysis

fix(formal): rewrite preservation proof structure for Rocq 9.1.1 #166

Sign in to view logs

fix(formal): rewrite preservation proof structure for Rocq 9.1.1

fix(formal): rewrite preservation proof structure for Rocq 9.1.1 #166

Triggered via push March 27, 2026 16:43
@hyperpolymathhyperpolymath
pushed 0b742d1
main
Status Success
Total duration 1m 29s
Artifacts –

codeql.yml

on: push
Matrix: analyze
Fit to window
Zoom out
Zoom in