Comment Comment by paulddraper The questionable assumption is that mechanized proofs are useful in the first place.Computer programs are useful. Bigly. So we develop infrastructure around them.Are mechanized proofs useful? Are they intelligible? Do they grant insight? Do they work better? parent paulddraper 3 years ago
Computer programs are useful. Bigly. So we develop infrastructure around them.
Are mechanized proofs useful? Are they intelligible? Do they grant insight? Do they work better?