jamesjer / set.mm Public

forked from metamath/set.mm

Metamath source file for logic and set theory

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 9,263 Commits
people		people
scripts		scripts
.gitignore		.gitignore
.travis.yml		.travis.yml
CONTRIBUTING.md		CONTRIBUTING.md
LICENSE		LICENSE
README.md		README.md
_alghierarchy.svg		_alghierarchy.svg
_algtophierarchy.svg		_algtophierarchy.svg
_relexample.svg		_relexample.svg
_tophierarchy.svg		_tophierarchy.svg
big-unifier.mm		big-unifier.mm
demo0.mm		demo0.mm
discouraged		discouraged
hol.mm		hol.mm
index.html		index.html
iset-discouraged		iset-discouraged
iset.mm		iset.mm
miu.mm		miu.mm
mm-mailing-list.html		mm-mailing-list.html
mm_100.html		mm_100.html
mmcomplex.raw.html		mmcomplex.raw.html
mmdeduction.raw.html		mmdeduction.raw.html
mmhil.html		mmhil.html
mmil.raw.html		mmil.raw.html
mmmusic.html		mmmusic.html
mmnatded.raw.html		mmnatded.raw.html
mmnf.raw.html		mmnf.raw.html
mmrecent_IL.html		mmrecent_IL.html
mmset.raw.html		mmset.raw.html
mmtopstr.html		mmtopstr.html
mmzfcnd.raw.html		mmzfcnd.raw.html
nf.mm		nf.mm
peano.mm		peano.mm
ql.mm		ql.mm
set-mathml.mmts		set-mathml.mmts
set.mm		set.mm
symbols.html		symbols.html