← All repos

metamath/set.mm

View on GitHub ↗ ★ 338 HTML

Metamath source file for logic and set theory

6 mentions on Hacker News by 4 people: 0 stories, 6 comments · first 2020-05-26 · latest 2026-07-30