Skip to content
.github/workflows/main.yml

export ALPHA as REFL (#40) #165

Sign in to view logs

export ALPHA as REFL (#40)

export ALPHA as REFL (#40) #165

Triggered via push August 29, 2023 10:29
@fblanquifblanqui
pushed 337e545
main
Status Success
Total duration 19m 16s
Artifacts –

main.yml

on: push
Matrix: hol-light-to-dedukti
Fit to window
Zoom out
Zoom in