GitHub repository: logico-philosophical/math
Primary language: JavaScript
Description: Computerized axiomatic system in JavaScript