[![Build Status](https://github.com/metamath/set.mm/workflows/verifiers/badge.svg)](https://github.com/metamath/set.mm/actions?query=workflow%3Averifiers)

# 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.
