michalkonecny/polypaver

A theorem prover specialised in deciding inequalities of non-linear real and floating-point expressions using rigorous polynomial approximations. Includes tools for verifying floating-point SPARK 2005 programs.

语言：Haskell · GitHub 星标：4 · Fork：1

在 GitHub 上查看原仓库