New build system
Some checks failed
Lints / typos (push) Successful in 21s
Build and deploy / build (push) Has been cancelled

This commit is contained in:
2025-01-21 18:35:58 -08:00
parent a14656d94f
commit a82cc8c79f
354 changed files with 870 additions and 1658 deletions

View File

@@ -0,0 +1,29 @@
% use [nosolutions] flag to hide solutions.
% use [solutions] flag to show solutions.
\documentclass[
solutions,
singlenumbering
]{../../../lib/tex/ormc_handout}
\usepackage{../../../lib/tex/macros}
% for \coloneqq, a centered :=
\usepackage{mathtools}
\usepackage{units}
\uptitlel{Advanced 2}
\uptitler{\smallurl{}}
\title{Definable Sets}
\subtitle{Prepared by Mark on \today{}}
\begin{document}
\maketitle
\input{parts/0 logic.tex}
\input{parts/1 structures.tex}
\input{parts/2 quantifiers.tex}
\input{parts/3 sets.tex}
\input{parts/4 equivalence.tex}
\end{document}