Francisco Coelho / zugzwang

Name	Last Update	Last Commit 53b3b48c – Started pre-paper, to arXiv, maybe? History
..
backup	Loading commit data...
probast_draft	Loading commit data...
00_ASP.md	Loading commit data...
00_DRAFTS.md	Loading commit data...
00_DistSem.md	Loading commit data...
00_DistSem.pdf	Loading commit data...
00_ILP.md	Loading commit data...
00_ILP.pdf	Loading commit data...
00_PASP.md	Loading commit data...
00_PASP.pdf	Loading commit data...
00_PASP.synctex.gz	Loading commit data...
00_PASP.tex	Loading commit data...
00_PASP.xdv	Loading commit data...
00_POTASSCO.md	Loading commit data...
00_PROB.md	Loading commit data...
00_PROB.pdf	Loading commit data...
00_Z3.md	Loading commit data...
Pabc_alpha03.pdf	Loading commit data...
pre-paper.pdf	Loading commit data...
pre-paper.tex	Loading commit data...