metamath/set.mm
Metamath source file for logic and set theory
0Active
On the radar — signal detected
Stars
307
Forks
102
Contributors
69
Language
HTML
Score updated Mar 26, 2026
// SUBSCRIBE
The repos that moved this week, why they matter, and what to watch next. One email. No noise.