Automating Boundary Filling in Cubical Agda

Maximilian Doré, Evan Cavallo, Anders Mörtberg. Automating Boundary Filling in Cubical Agda. In Jakob Rehof, editor, 9th International Conference on Formal Structures for Computation and Deduction, FSCD 2024, July 10-13, 2024, Tallinn, Estonia. Volume 299 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024. [doi]

Abstract

Abstract is missing.