add(Logic): faithfully embeddable relation #2596
iehalityci.yml
on: pull_request
Check mk_all executed
2m 9s
Generate page
0s
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
lean-artifacts
Expired
|
34.8 MB |
sha256:fe20b988b3f1ef12d8feb74801de4949d1e97152ee4db47836a45072dc40089f
|
|