Go to the corresponding LIPIcs Volume Portal 
Dahmen, Sander R. ; Hölzl, Johannes ; Lewis, Robert Y.
pdfformat: 

@InProceedings{dahmen_et_al:LIPIcs:2019:11070, author = {Sander R. Dahmen and Johannes H{\"o}lzl and Robert Y. Lewis}, title = {{Formalizing the Solution to the Cap Set Problem}}, booktitle = {10th International Conference on Interactive Theorem Proving (ITP 2019)}, pages = {15:115:19}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {9783959771221}, ISSN = {18688969}, year = {2019}, volume = {141}, editor = {John Harrison and John O'Leary and Andrew Tolmach}, publisher = {Schloss DagstuhlLeibnizZentrum fuer Informatik}, address = {Dagstuhl, Germany}, URL = {http://drops.dagstuhl.de/opus/volltexte/2019/11070}, URN = {urn:nbn:de:0030drops110703}, doi = {10.4230/LIPIcs.ITP.2019.15}, annote = {Keywords: formal proof, combinatorics, cap set problem, Lean} }
Keywords:  formal proof, combinatorics, cap set problem, Lean  
Collection:  10th International Conference on Interactive Theorem Proving (ITP 2019)  
Issue Date:  2019  
Date of publication:  05.09.2019  
Supplementary Material:  Links to our formalization and supporting documents are hosted at the URL https://leanforward.github.io/eg/. 