2 search results for "tag:"mathematics""
Showing 1 - 2
-
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
-
sundialsml
No documentation
Interface to the Sundials suite of numerical solvers6.1.1p1BSD-3-ClauseUsed by 1 other packages21 Mar 2022