Skip to content

feat: parity between structure instance notation and where notation #6782

feat: parity between structure instance notation and where notation

feat: parity between structure instance notation and where notation #6782

check-lean-files

succeeded Nov 30, 2024 in 25s
Set up job
0s
Run actions/checkout@v4
21s
Verify .lean files start with a copyright header.
3s
Post Run actions/checkout@v4
0s
Complete job
0s