Name		Name	Last commit message	Last commit date
.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

Repository files navigation

asp-macros

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

About

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

essentials latex

Custom properties

2 stars

10 watching

Report repository

Releases

Packages

Contributors

Languages