transcendentals.ml
From MaRDI portal
Software:54579
No author found.
Source code repository: https://github.com/jrh13/hol-light/blob/master/Multivariate/transcendentals.ml
Related Items (2)
Formal analysis of continuous-time systems using Fourier transform ⋮ Formal verification of robotic cell injection systems up to 4-DOF using \textsf{HOL Light}
This page was built for software: transcendentals.ml
