math-o-matic

math-o-matic

Geek Repo

Computerized proof system on the web

Github PK Tool:Github PK Tool

math-o-matic's repositories

math-o-matic

Computerized proof system on the web

Language:TypeScriptLicense:MITStargazers:6Issues:2Issues:74

paper

@logico-philosophical의 학부 졸업논문

Language:TeXStargazers:0Issues:2Issues:0

vscode

math-o-matic language support for Visual Studio Code

License:MITStargazers:0Issues:1Issues:0