Skip to content
coq-action

Using \times in parametricity. #381

Sign in to view logs

Using \times in parametricity.

Using \times in parametricity. #381

Triggered via push November 12, 2023 12:27
@herbelinherbelin
pushed 8a44fa6
master
Status Success
Total duration 2m 22s
Artifacts –

coq-action.yml

on: push
build
2m 14s
build
Fit to window
Zoom out
Zoom in