6 lines
192 B
Markdown
6 lines
192 B
Markdown
|
# z3
|
||
|
|
|
||
|
|
[Z3](https://github.com/Z3Prover/z3) is a theorem prover from Microsoft
|
||
|
|
Research. If you are not familiar with Z3, you can start
|
||
|
|
[here](https://github.com/Z3Prover/z3/wiki#background).
|