Name		Name	Last commit message	Last commit date
Latest commit History 2 Commits
bibtex		bibtex
extras		extras
testflow		testflow
tools		tools
.gitignore		.gitignore
HOWTO.md		HOWTO.md
IEEEtran.cls		IEEEtran.cls
IEEEtran_HOWTO.pdf		IEEEtran_HOWTO.pdf
Makefile		Makefile
QUESTIONS.md		QUESTIONS.md
README		README
README.md		README.md
TODO.md		TODO.md
bare_adv.tex		bare_adv.tex
bare_conf.tex		bare_conf.tex
bare_conf_compsoc.tex		bare_conf_compsoc.tex
bare_jrnl.tex		bare_jrnl.tex
bare_jrnl_compsoc.tex		bare_jrnl_compsoc.tex
bare_jrnl_comsoc.tex		bare_jrnl_comsoc.tex
bare_jrnl_transmag.tex		bare_jrnl_transmag.tex
calculus.tex		calculus.tex
changelog.txt		changelog.txt
language.tex		language.tex
mathpartir.sty		mathpartir.sty
relatedwork.tex		relatedwork.tex
symbols.tex		symbols.tex
wil.pdf		wil.pdf
wil.tex		wil.tex

Repository files navigation

wil

Women in Logic