.github/workflows/main.yml

use of eta-contraction/expansion #56

Sign in to view logs

Triggered via pull request March 6, 2026 12:53

agontard

reopened #47

agontard:no-more-contraction

Status Success

Total duration 10m 4s

Artifacts –

main.yml

on: pull_request

Matrix: isabelle_dedukti