feat: add simps and toNat
lemmas for UIntX
types (#853)
#376
This job succeeded
Loading
toNat
lemmas for UIntX
types (#853)
#376