Availability of foundation modules with SciPy and NumPy capability

[ian.wi...@xxxxxxxx]

Hi,

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.

Huge thanks,
ian