Tutch
Organization@retutch
Reimplementation of the Tutch proof checker
On GitHub since September 2019
1
Published Tools
2
Total Stars
0
Weekly Downloads
1
GitHub Followers
4
Public Repos
Published Tools
1 Skillacross 1 categorytutch
calculemus
Typescript implementation of Tutch, a TUTorial proof CHecker.
SkillAI Tool
21 dir