DrNim
DrNim combines the Nim frontend with the Z3 proof engine in order to allow verify / validate software written in Nim.
Package
GitHub
DrNim combines the Nim frontend with the Z3 proof engine in order to allow verify / validate software written in Nim.