Automating Boundary Filling in Cubical Agda.

Maximilian Dor, Evan Cavallo, Anders Mrtberg

Browse the full FSCD paper archive.