Lean Proofs · Workflow runs · inkandswitch/bijou · GitHub

Actions

All workflows
Workflows
- Audit Dependencies Audit Dependencies
- Bolero Property Tests Bolero Property Tests
- Code Quality Checks Code Quality Checks
- Copilot Copilot
- Copilot code review Copilot code review
- Criterion Benchmarks Criterion Benchmarks
- Gungraun Benchmarks Gungraun Benchmarks
- Lean Proofs Lean Proofs
- Nix CI Nix CI
- Spellcheck Spellcheck
Management
- Caches

Lean Proofs

Actions

Loading...
Loading

1 workflow run

1 workflow run

Lean Proofs Lean Proofs #1: Pull request #18 opened by expede

1m 43s lean

lean

1m 43s