Published package / CLIR
metamath.set_mm_core
v0.1.0Metamath set.mm: аксиомы ZFC, исчисление высказываний и логика предикатов — закреплённые утверждения
| Version | contentHash | Size |
|---|---|---|
| 0.1.0 | sha256:75ac377126ad… | 15564 KB |
There is one version: the corpus has not yet published a second edition of any package. The list stays a list on purpose — there will be no “publication date” column here, time never enters the artefacts.