Skip to content

Update graded.lean

Update graded.lean #80

Triggered via push October 26, 2024 01:59
Status Success
Total duration 1m 21s
Artifacts
Fit to window
Zoom out
Zoom in