@inproceedings{BergeronITP25,
TITLE = {Formalizing Splitting in{Isabelle}/{HOL}},
AUTHOR = {Bergeron, Ghilain and Krasnopol, Florent and Tourret, Sophie},
LANGUAGE = {eng},
ISBN = {978-3-95977-396-6},
URL = {urn:nbn:de:0030-drops-246208},
DOI = {10.4230/LIPIcs.ITP.2025.22},
PUBLISHER = {Schloss Dagstuhl},
YEAR = {2025},
MARGINALMARK = {$\bullet$},
DATE = {2025},
BOOKTITLE = {16th International Conference on Interactive Theorem Proving (ITP 2025)},
EDITOR = {Forster, Yannick and Keller, Chantal},
PAGES = {1--19},
EID = {22},
SERIES = {Leibniz International Proceedings in Informatics},
VOLUME = {352},
ADDRESS = {Reykjavik, Iceland},
}