GitHub repository: logico-philosophical/math-o-matic
Primary language: TypeScript
Description: Computerized proof system on the web