[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Availability of foundation modules with SciPy and NumPy capability
We are considering adopting TLA+ (and PlusCal) for writing specifications
for the algorithms we produce for our energy-related analytics work.
With our current arrangement, we have a group of Data Scientists
producing prototypes, mostly using python with scipy and numpy.
If we were to go with TLA+, we would have to ensure scipy- and
numpy-like capabilities are provided in foundation TLA+ modules.
Has something like this already been crafted, or is this something
we would need to invest time in producing.