jyapayne/Nim
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Markdown link migration part 2 (#20371)

Browse source
This commit is contained in:
Andrey Makarov 2022-09-20 01:24:40 +03:00 • committed by GitHub
commit c4ba4f06f8
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
18 changed files with 287 additions and 283 deletions
Download patch file Download diff file Expand all files Collapse all files

2
doc/drnim.md
View file

@ -14,7 +14,7 @@ Introduction
============
This document describes the usage of the *DrNim* tool. DrNim combines
the Nim frontend with the `Z3 <https://github.com/Z3Prover/z3>`_ proof
the Nim frontend with the [Z3](https://github.com/Z3Prover/z3) proof
engine, in order to allow verify/validate software written in Nim.
DrNim's command-line options are the same as the Nim compiler's.