Skip to content
CI

do not axiomatise congruence for introduced symbols #1142

Sign in to view logs

do not axiomatise congruence for introduced symbols

do not axiomatise congruence for introduced symbols #1142

Triggered via pull request October 11, 2023 09:42
@MichaelRawsonMichaelRawson
opened #489
michael-skip-introduced-for-ep
Status Success
Total duration 16m 42s
Artifacts –

CI.yml

on: pull_request
build
16m 30s
build
Fit to window
Zoom out
Zoom in