Workflow runs for Code Quality
257 workflow runs
- completed successfully:
- completed successfully:
- completed successfully:
- completed successfully:
- cancelled:
proof(wager): Stage 8, terms with open types (no quantifier), and a side item on the second addition
completed successfully:proof(wager): Stage 8, terms with open types (no quantifier), and a side item on the second addition
cancelled:- completed successfully:
- completed successfully:
- completed successfully:
- completed successfully:
- completed successfully:
- completed successfully:
- completed successfully:
- completed successfully:
- completed successfully:
- completed successfully:
- completed successfully:
- completed successfully:
- completed successfully:
- completed successfully:
- completed successfully:
- cancelled:
- completed successfully:
- cancelled: