Analysis tools logo
0

DrNim

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

Workflow integration:
  • Type: cli
    cli

Official DrNim Homepage

https://nim-lang.org/docs/drnim.html

MIT

Maintained

Alternative Tools

  • 0nimfmt