Introduction¶

JPM (J* Package Manager) is a package manger of J*. The documentation for J* can be found here: https://bamless.github.io/jstar. Please note that JPM is not an official program of J*. JPM was only made to add library to J*. Currently JPM only works on windows (Sorry Mac and Linux).