feat: port all missing theorems in BI/DerivedLaws.lean and BI/DerivedLawsLater.lean
#2031
alvinyltbuild.yml
on: pull_request
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
github-pages
Expired
|
95.4 KB |
sha256:f093270e1b1d09efe2f9c705e0b2747c27aebf5f3d12e7a93296e199c62ef6b8
|
|
|
porting-data
Expired
|
55.5 KB |
sha256:4d03ae96769eb64d2bb80f1604aff9cc41bbd0d1adb2d5211d1d0b63f1e380e6
|
|