Skip to content

feat(formal): grow P-2 to the STLC with functions + the substitution … #622

feat(formal): grow P-2 to the STLC with functions + the substitution …

feat(formal): grow P-2 to the STLC with functions + the substitution … #622

Triggered via push June 21, 2026 13:48
Status Success
Total duration 40s
Artifacts

scorecard.yml

on: push
Scorecard analysis
36s
Scorecard analysis
Fit to window
Zoom out
Zoom in