asp-macros

LaTeX macros for concepts from ASP (originally built for ASP book)

Name		Name	Last commit message	Last commit date
Latest commit History 147 Commits
.gitignore		.gitignore
README.md		README.md
automata.tex		automata.tex
dtel.tex		dtel.tex
grounding.tex		grounding.tex
ht.tex		ht.tex
listings.tex		listings.tex
logics.tex		logics.tex
modules.tex		modules.tex
nogoods.tex		nogoods.tex
operators.tex		operators.tex
outline.tex		outline.tex
proof.tex		proof.tex
semantics.tex		semantics.tex
syntax.tex		syntax.tex
systems.tex		systems.tex
tableau.tex		tableau.tex

Provide feedback