Comment Comment by nileshtrivedi > proof assistants, traditionally, don't use our classic two's complement integers packed into words in our memory, they use Peano numbersWhy can't we just prove theorems about the standard two's complement integers, instead of Nat? parent nileshtrivedi 10 months ago
Why can't we just prove theorems about the standard two's complement integers, instead of Nat?