README.md

A tool for verification of nonlinear inequalities in HOL Light

Part of the Flyspeck project: https://github.com/flyspeck/flyspeck

See docs/FormalVerifier.pdf for additional information.

Copyright / License

Copyright (c) 2011-2017 Alexey Solovyev

Distributed under the MIT License (see LICENSE).