.github/workflows/main.yml

use of eta-contraction/expansion #55

Sign in to view logs

Re-run triggered December 16, 2025 04:22

fblanqui

#47

agontard:no-more-contraction

Status Success

Total duration 6m 10s

Artifacts –

main.yml

on: pull_request

Matrix: isabelle_dedukti