×

34c3-9105-eng-Coming_Soon_Machine-Checked_Mathematical_Proofs_in_Everyday_Software_and_Hardware_Development.opus

Home / Discover /cdn.media.ccc.de/congress/34c3/opus/



Join FilePursuit on FilePursuit Discord Server chat for discussions and more information.