Add volume macros and source code detail

bsubercaseaux · Jun 11, 2024 · 489a644 · 489a644
1 parent 34edc98
commit 489a644
Showing 1 changed file with 14 additions and 0 deletions.
diff --git a/ITP/main.tex b/ITP/main.tex
@@ -153,6 +153,20 @@
 
 \funding{Supported by the National Science Foundation (NSF) grant CCF-2229099.}
 
+\supplementdetails[subcategory={Source Code}]{Software}{https://github.com/bsubercaseaux/EmptyHexagonLean/tree/itp2024}
+
+\EventEditors{Yves Bertot, Temur Kutsia, and Michael Norrish}
+\EventNoEds{3}
+\EventLongTitle{15th International Conference on Interactive Theorem Proving (ITP 2024)}
+\EventShortTitle{ITP 2024}
+\EventAcronym{ITP}
+\EventYear{2024}
+\EventDate{September 9-14, 2024}
+\EventLocation{Tbilisi, Georgia}
+\EventLogo{}
+\SeriesVolume{309}
+\ArticleNo{24}
+
 \begin{document}
 
 \maketitle