Skip to content
@retutch

Tutch

Reimplementation of the Tutch proof checker

Popular repositories Loading

  1. tutch tutch Public

    A TypeScript implementation of the TUTorial proof CHecker (Tutch).

    TypeScript 2

  2. tutch-test tutch-test Public

    Tests for Tutch

    Nearley 1

  3. tutch-worker tutch-worker Public archive

    A webworker interface/wrapper for Tutch

    TypeScript

  4. retutch.github.io retutch.github.io Public

    A CodeMirror-based component for editing Tutch on the web.

    TypeScript

Repositories

Showing 4 of 4 repositories
  • retutch.github.io Public

    A CodeMirror-based component for editing Tutch on the web.

    retutch/retutch.github.io’s past year of commit activity
    TypeScript 0 0 0 2 Updated Oct 13, 2024
  • tutch Public

    A TypeScript implementation of the TUTorial proof CHecker (Tutch).

    retutch/tutch’s past year of commit activity
    TypeScript 2 GPL-3.0 0 0 0 Updated Jun 23, 2024
  • tutch-worker Public archive

    A webworker interface/wrapper for Tutch

    retutch/tutch-worker’s past year of commit activity
    TypeScript 0 GPL-3.0 0 0 1 Updated Jul 24, 2023
  • tutch-test Public

    Tests for Tutch

    retutch/tutch-test’s past year of commit activity
    Nearley 1 MIT 0 0 0 Updated Aug 1, 2022

Top languages

Loading…

Most used topics

Loading…