4 ms·
That entirely depends on how you want to interpret a finite binary string as an enumeration of logic proofs?!
by tromp 1y ago
That entirely depends on how you want to interpret a finite binary string as an enumeration of logic proofs?!
loading thread…