ICM2018-Panel2

Report for ICM 2018 Proceedings volume 1 of Panel 2 (Machine-assisted Proof)

Name		Name	Last commit message	Last commit date
Latest commit History 20 Commits
CopyrightTransfer.pdf		CopyrightTransfer.pdf
CruzFilipe.tex		CruzFilipe.tex
Helfgott.tex		Helfgott.tex
ICM2018P2alpha.bbl		ICM2018P2alpha.bbl
ICM2018P2alpha.tex		ICM2018P2alpha.tex
ICM2018P2plain.bbl		ICM2018P2plain.bbl
ICM2018P2plain.tex		ICM2018P2plain.tex
ICM2018P2plainarxiv.bbl		ICM2018P2plainarxiv.bbl
ICM2018P2plainarxiv.tex		ICM2018P2plainarxiv.tex
ICM2018P2v2.bbl		ICM2018P2v2.bbl
ICMPanel2.bib		ICMPanel2.bib
Intro.tex		Intro.tex
LMFDB.png		LMFDB.png
Maynard.tex		Maynard.tex
Poonen.tex		Poonen.tex
QA.tex		QA.tex
README.md		README.md
README.txt		README.txt
Tiep.tex		Tiep.tex
old.bbl		old.bbl
v1-ICMPanel2.bib		v1-ICMPanel2.bib

Provide feedback