add(LinearLogic): faithfulness of Girard's embedding #2594
iehalityci.yml
on: pull_request
Check mk_all executed
2m 2s
Generate page
0s
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
lean-artifacts
Expired
|
34.9 MB |
sha256:475d114497965384b8cc63cac8e92fc3ca81f75a20c1452d09cf8b5cf3310ef1
|
|