Login / Signup

Synthetic Kolmogorov Complexity in Coq.

Yannick ForsterFabian KunzeNils Lauermann
Published in: ITP (2022)
Keyphrases