Mathematical Logic Notes Readme

Generating PDF

$ tectonic main.tex

Name		Name	Last commit message	Last commit date
Latest commit History 878 Commits
tex		tex
.gitignore		.gitignore
MakefileDot		MakefileDot
README.md		README.md
fdl-1.3.txt		fdl-1.3.txt
find		find
main.tex		main.tex
meta.dot		meta.dot
shell.nix		shell.nix
spaces.dot		spaces.dot
strings-venn.dia		strings-venn.dia
topics.dot		topics.dot