Name
lucasmoschen's repositories
figures
func
.gitignore
README.txt
book.bib
book.pdf
book.tex
fol-nd.tex
fol-semantics.tex
fol-syntax.tex
fol.tex
functions.tex
graphs.tex
induction.tex
introduction.tex
lean.tex
lp.tex
lstlean.tex
relations.tex
sets.tex