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

Run time

Learn about OS pricing on GitHub Actions
Job Run time
jira-sync
4s
4s