michalkonecny/aern
A Haskell library for Approximating Exact Real Numbers (AERN) based on interval computation.
Public GitHub Catalog
Discovered Sep 28, 2026
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.
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.
#13367925GitHub System ID
michalkonecnyOrganization / User
PublicVisibility
ActiveCatalog Status