upload artifacts separately #9
digama0Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
metamath-de.pdf
Expired
|
1.38 MB |
|
|
metamath-narrow.pdf
Expired
|
1.31 MB |
|
|
metamath.pdf
Expired
|
1.13 MB |
|