Skip to content
@math-o-matic

math-o-matic

Computerized proof system on the web

Popular repositories Loading

  1. math-o-matic math-o-matic Public

    Computerized proof system on the web

    TypeScript 7

  2. paper paper Public archive

    @logico-philosophical의 학부 졸업논문

    TeX

  3. vscode vscode Public

    math-o-matic language support for Visual Studio Code

Repositories

Showing 3 of 3 repositories
  • math-o-matic Public

    Computerized proof system on the web

    TypeScript 7 MIT 0 26 3 Updated Jan 10, 2024
  • paper Public archive

    @logico-philosophical의 학부 졸업논문

    TeX 0 0 0 0 Updated Jun 14, 2022
  • vscode Public

    math-o-matic language support for Visual Studio Code

    0 MIT 0 0 0 Updated Jun 1, 2022

Top languages

TypeScript TeX