GitHub repository: retutch/tutch
Primary language: TypeScript
Description: A TypeScript implementation of the TUTorial proof CHecker (Tutch).