Homepage

tutch

Typescript implementation of Tutch, a TUTorial proof CHecker.

< Back for full overview of tutch vulnerabilities

Package versions

16 VERSIONS IN TOTAL
versionpublisheddirect vulnerabilities
0.4.124 Jul, 2023
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
0.4.024 Jul, 2023
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
0.3.22 Aug, 2022
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
0.2.130 Jul, 2022
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
0.1.323 Sep, 2019
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
0.1.27 Sep, 2019
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
0.1.17 Sep, 2019
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
0.1.02 Sep, 2019
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
0.0.829 Aug, 2019
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
0.0.726 Aug, 2019
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
0.0.626 Aug, 2019
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
0.0.518 Aug, 2019
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
0.0.45 May, 2019
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
0.0.35 May, 2019
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
0.0.24 May, 2019
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
0.0.12 May, 2019
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L

Automatically find and fix vulnerabilities affecting your projects. Snyk scans for vulnerabilities and provides fixes for free.

Get started free