An experimental compiler infrastructure project that aims to allow for arbitrary statements about code to be proven heuristically.
This project is governed under the BSD 3-Clause "New" or "Revised" License. For more information, view the LICENSE file found at the root of this project's source tree.