Skip to content
Hypatia Security Scan

proofs(lean4): promote ET-2 to main — L1 conversion is decidable #65

Sign in to view logs

proofs(lean4): promote ET-2 to main — L1 conversion is decidable

proofs(lean4): promote ET-2 to main — L1 conversion is decidable #65

Triggered via pull request July 27, 2026 12:30
@hyperpolymathhyperpolymath
synchronize #27
proofs/lean4-l1-l2
Status Success
Total duration 43s
Artifacts 1

hypatia-scan.yml

on: pull_request
scan  /  Hypatia Neurosymbolic Analysis
38s
scan / Hypatia Neurosymbolic Analysis
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
hypatia-scan-findings
532 Bytes
sha256:f7c6d3eafb9cc2da10349a60381fa43e33a16c60b2ed853bc80d3909575e457d