The Whiley Theorem Prover (WyTP) is an automatic and interactive theorem prover designed to discharge verification conditions generated by the Whiley Compiler. WyTP operates over a variant of first-order logic which includes integer arithmetic, arrays and quantification.
There are no reported vulnerabilities
30 Day SummaryMar 18 2024 — Apr 17 2024
|
12 Month SummaryApr 17 2023 — Apr 17 2024
|