Skip to content
Jira sync

Unable to figure the term when destructing an inductive proposition #166

Sign in to view logs

Unable to figure the term when destructing an inductive proposition

Unable to figure the term when destructing an inductive proposition #166

Run time

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