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.
Public GitHub Catalog
Discovered Sep 30, 2026
michalkonecny / aern
A Haskell library for Approximating Exact Real Numbers (AERN) based on interval computation.
About this discovery
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
#17997824GitHub System ID
michalkonecnyOrganization / User
PublicVisibility
ActiveCatalog Status