Homepage
About Snyk

tutch vulnerabilities

Typescript implementation of Tutch, a TUTorial proof CHecker.

Report a new vulnerability Found a mistake?

Direct Vulnerabilities

No direct vulnerabilities have been found for this package in Snyk’s vulnerability database. This does not include vulnerabilities belonging to this package’s dependencies.

Does your project rely on vulnerable package dependencies?

Automatically find and fix vulnerabilities affecting your projects. Snyk scans for vulnerabilities (in both your packages & their dependencies) and provides automated fixes for free.

Scan for indirect vulnerabilities

Package versions

1 - 16 of 16 Results
version published direct vulnerabilities
0.4.1 24 Jul, 2023
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
0.4.0 24 Jul, 2023
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
0.3.2 2 Aug, 2022
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
0.2.1 30 Jul, 2022
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
0.1.3 23 Sep, 2019
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
0.1.2 7 Sep, 2019
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
0.1.1 7 Sep, 2019
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
0.1.0 2 Sep, 2019
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
0.0.8 29 Aug, 2019
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
0.0.7 26 Aug, 2019
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
0.0.6 26 Aug, 2019
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
0.0.5 18 Aug, 2019
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
0.0.4 5 May, 2019
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
0.0.3 5 May, 2019
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
0.0.2 4 May, 2019
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
0.0.1 2 May, 2019
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L