The most recent version of the tool is available here.
Part of the Flyspeck project: https://github.com/flyspeck/flyspeck
Distributed under MIT License.
See docs/FormalVerifier.pdf for additional information.
Name | Name | Last commit message | Last commit date | |
---|---|---|---|---|
parent directory.. | ||||
The most recent version of the tool is available here.
Part of the Flyspeck project: https://github.com/flyspeck/flyspeck
Distributed under MIT License.
See docs/FormalVerifier.pdf for additional information.