Опубликованный пакет / CLIR

`metamath.set_mm_core`

v0.1.0

Metamath set.mm: аксиомы ZFC, исчисление высказываний и логика предикатов — закреплённые утверждения

Версия	contentHash	Размер
0.1.0	sha256:75ac377126ad…	15564 KB

Версия одна: корпус пока не публиковал вторую редакцию ни одного пакета. Список остаётся списком намеренно — колонки «дата публикации» здесь не будет, время в артефакты не попадает.