docs: record the Coq proof gate and the 2026-07-29 rescue session (#712) #697
hyperpolymathscorecard.yml
on: push
analysis
/
Run Scorecard
41s
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
scorecard-results
|
2.72 KB |
sha256:b8825431fb476b1dbc7adb3d254c03e0153482351b43460aaf9dc1ad2859cb80
|
|