Intrinsically Correct Sorting in Cubical Agda

MaRDI QIDQ6757615arXivFDO

Authors Cass Alexandru, Vikraman Choudhury, Jurriaan Rot, Niels van der Weide

Publication date 2024

Published in arXiv

arXiv classification

cs.LO

This page was built for publication: Intrinsically Correct Sorting in Cubical Agda

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6757615)