Skip to content

refactor: improve the math a little bit #196

refactor: improve the math a little bit

refactor: improve the math a little bit #196

Triggered via push June 1, 2024 02:37
Status Success
Total duration 11s
Artifacts
Everything.agda
3s
Everything.agda
Fit to window
Zoom out
Zoom in