Skip to content
Jira sync

elab_as_elim does not support function application in resulting motive arguments #136

Sign in to view logs

elab_as_elim does not support function application in resulting motive arguments

elab_as_elim does not support function application in resulting motive arguments #136

Triggered via issue September 28, 2024 22:52
@kmillkmill
closed #4086 130b465
Status Success
Total duration 13s
Artifacts –

jira.yml

on: issues
jira-sync
4s
jira-sync
Fit to window
Zoom out
Zoom in