4 search results for "tag:"math""
Showing 1 - 4
-
Coq proofs in a style that resembles non-mechanized mathematical proofs2.1.1+8.18LGPL-3.0-or-laterUsed by 0 other packages10 Jan 2024
-
Binding to CRlibm, a correctly rounded math lib0.5.1LGPL-3.0Used by 1 other packages11 Nov 2021
-
0.71ISCUsed by 0 other packages11 Jan 2023
-
sundialsml
No documentation
Interface to the Sundials suite of numerical solvers6.1.1p1BSD-3-ClauseUsed by 1 other packages21 Mar 2022