search

pschanely / CrossHair

An analysis tool for Python that blurs the line between testing and type systems.
Other
1.03k stars 49 forks source link

Initial precise floating point reasoning support #308

Closed pschanely closed 2 months ago