Synthetic Kolmogorov complexity in coq

DOI10.4230/LIPICS.ITP.2022.12MaRDI QIDQ6572546FDOQ6572546

Authors: Yannick Forster, Fabian Kunze, Nils Lauermann 

Publication date: 15 July 2024

zbMATH Keywords

Kolmogorov complexitycomputability theoryrandom numbersconstructive type theorycoqconstructive matemathicssynthetic computability theory

Mathematics Subject Classification ID

Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

This page was built for publication: Synthetic Kolmogorov complexity in coq

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