GitHub repository: plurimath/plurimath-js
Primary language: JavaScript
Description: Plurimath JavaScript module