Workflow runs for Governance
260 workflow runs
- completed successfully:
- completed successfully:
- completed successfully:
- completed successfully:
- completed successfully:
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
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:
- completed successfully:
- completed successfully:
- completed successfully:
- completed successfully: