Select a tag to browse associated projects and drill deeper into the tag cloud.
php_component_data_type
P
Analyzed 2 days ago
This component includes class definitions for php basic data types like:
* Boolean
* Floating point
* Integer
* String
* Numeric
By using this component, you are able to use type hints also for basic data types.
The data types are shipped with some simple but useful methods.
Licenses:
lgpv3_or_...
Flocq
F
No analysis available
Flocq (Floats for Coq) is a floating-point formalization for the Coq system. It provides a comprehensive library of theorems on a multi-radix multi-precision arithmetic. It also supports efficient numerical computations inside Coq.
Mostly written in language not available
Licenses:
lgpv3_or_...
Interval Package for Coq
I
No analysis available
This library provides vernacular files containing tactics for simplifying the proofs of inequalities on expressions of real numbers for the Coq proof assistant.
Mostly written in language not available
Licenses:
lgpl21