Also Nim has contracts and supports formal proofing: https://nim-lang.org/docs/drnim.html

A more practical one might be this contracts library https://github.com/Udiknedormin/NimContracts