Achaemenid / set.mm

Metamath source file for logic and set theory

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.