Illustration drawn by RepoMasters from the repo’s ID and its language color. Credits

AlphaUncommon

metamath/set.mm

Metamath source file for logic and set theory

Owner: metamath (organization)
Stars: Stars: 337
Forks: Forks: 113
Language: HTML
License: None
Created: 2015
Tier: Alpha (250 to 699 ★) What this tier means

More repos by metamath

All 2 repos by metamath

metamath/metamath-exeStars: 111CPrototype

Nearby in HTML

tkilla64/eurorackStars: 337HTMLAlpha
zachleat/table-sawStars: 337HTMLAlpha
kunchenguid/visionStars: 337HTMLAlpha
18F/18f.gsa.govStars: 337HTMLAlpha
justalever/tumblrboilerplateStars: 337HTMLAlpha
msaveski/www_personalStars: 337HTMLAlpha