GitHub - ReedOei/SetTheory

Name		Name	Last commit message	Last commit date
Latest commit History 91 Commits
dst		dst
old_set_lang		old_set_lang
set_lang		set_lang
.gitignore		.gitignore
DST.thy		DST.thy
comparing_size.tex		comparing_size.tex
comparing_size_standalone.tex		comparing_size_standalone.tex
counting.tex		counting.tex
decidability.tex		decidability.tex
docker-compose.yml		docker-compose.yml
formal_proof.txt		formal_proof.txt
games-vid.md		games-vid.md
games-vid.py		games-vid.py
games.tex		games.tex
infinity_classification.tex		infinity_classification.tex
introduction.tex		introduction.tex
logic.thy		logic.thy
macros.tex		macros.tex
main.tex		main.tex
ordinals.tex		ordinals.tex
render.sh		render.sh
set_language.py		set_language.py
set_theory.py		set_theory.py
sets.tex		sets.tex
sets.v		sets.v
truth.tex		truth.tex
why_math.tex		why_math.tex