dude12344

↗ HN profile [ 19.7 ms ] full profile

Karma: 8
Created: July 13, 2022 (4y ago)
Submissions: 0

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

4y ago · view thread · ↗