Skip to content
Build and Deploy documentation

Arithmetic in the functional language. This is the final task of #2 (… #79

Sign in to view logs

Arithmetic in the functional language. This is the final task of #2 (…

Arithmetic in the functional language. This is the final task of #2 (… #79

Triggered via push November 20, 2024 13:02
@AqissiaqAqissiaq
pushed f23ae33
master
Status Success
Total duration 4m 37s
Artifacts –

deploy-docs.yml

on: push
build-coqdoc
4m 27s
build-coqdoc
Fit to window
Zoom out
Zoom in