Metamath set.mm repository This is a set of Metamath source files (databases) for logic and set theory. File "set.mm" uses classical logic and ZFC set theory. File "iset.mm" uses intuitionistic logic.
