GitHub - naipmoro/lofmm: metamath derivations of Spencer-Brown's Laws of Form

Name		Name	Last commit message	Last commit date
Latest commit History 149 Commits
LICENSE		LICENSE
README.md		README.md
index.html		index.html
lof.adoc		lof.adoc
lof.mm		lof.mm
lofmathbox.mm		lofmathbox.mm
lofset.mm		lofset.mm
set(lof).mm		set(lof).mm
setx.mm		setx.mm

Provide feedback