This is PISE, the Proofscape Integrated Study Environment.
npm i pise-client
Gitgithub.com/proofscape/pfsc-ise
github.com/proofscape/pfsc-ise#readme
0
0.25.4
Apache-2.0
16.3 MB
12
a year ago