Skip to content
Haskell-CI

Further simplify the sqrt-2 irrational proof #700

Sign in to view logs

Further simplify the sqrt-2 irrational proof

Further simplify the sqrt-2 irrational proof #700

Triggered via push September 3, 2024 15:26
@LeventErkokLeventErkok
pushed f650138
master
Status Success
Total duration 5m 43s
Artifacts –

haskell-ci.yml

on: push
Matrix: linux
Fit to window
Zoom out
Zoom in