2 ms·
Also Nim has contracts and supports formal proofing: https://nim-lang.org/docs/drnim.html https://nim-lang.org/docs/drnim.html
by dude12344 4y ago
Also Nim has contracts and supports formal proofing: https://nim-lang.org/docs/drnim.html https://nim-lang.org/docs/drnim.html
- elcritch 4y agoA more practical one might be this contracts library https://github.com/Udiknedormin/NimContracts https://github.com/Udiknedormin/NimContracts