Comment Comment by analog31 Doesn't Goedel's Theorem forbid building a logic checker? parent analog31 1 year ago
