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