Skip to content
.github/workflows/main.yaml

turn equational axioms defining type classes into definitions #349

Sign in to view logs

turn equational axioms defining type classes into definitions

turn equational axioms defining type classes into definitions #349

isabelle_dedukti (4.14.1, 2.7, 2.3.1, 2023)

isabelle_dedukti (4.14.1, 2.7, 2.3.1, 2023)
succeeded Oct 30, 2024 in 8m 8s