Skip to content
.github/workflows/main.yaml

turn equational axioms defining type classes into definitions #351

Sign in to view logs

turn equational axioms defining type classes into definitions

turn equational axioms defining type classes into definitions #351

Triggered via pull request October 30, 2024 08:20
@fblanquifblanqui
synchronize #33
fblanqui:class
Status Success
Total duration 32m 17s
Artifacts –

main.yaml

on: pull_request
Matrix: isabelle_dedukti
Fit to window
Zoom out
Zoom in