Homepage
About Snyk

formality-lang vulnerabilities

The Formality proof language

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 - 100 of 369 Results
version published direct vulnerabilities
0.5.7 25 Nov, 2020
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
0.5.6 25 Nov, 2020
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
0.5.5 24 Nov, 2020
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
0.5.3 24 Nov, 2020
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
0.5.2 24 Nov, 2020
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
0.5.1 18 Nov, 2020
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
0.5.0 13 Nov, 2020
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
0.5.0-beta.14 13 Nov, 2020
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
0.5.0-beta.13 13 Nov, 2020
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
0.5.0-beta.12 13 Nov, 2020
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
0.5.0-beta.11 10 Nov, 2020
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
0.5.0-beta.9 20 Oct, 2020
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
0.5.0-beta.8 19 Oct, 2020
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
0.5.0-beta.7 14 Oct, 2020
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
0.5.0-beta.6 14 Oct, 2020
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
0.5.0-beta.5 14 Oct, 2020
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
0.5.0-beta.4 14 Oct, 2020
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
0.5.0-beta.3 14 Oct, 2020
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
0.5.0-beta.2 9 Oct, 2020
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
0.5.0-beta.1 9 Oct, 2020
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
0.5.0-beta.0 8 Oct, 2020
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
0.4.119 14 Aug, 2020
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
0.4.118 14 Aug, 2020
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
0.4.117 13 Aug, 2020
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
0.4.116 12 Aug, 2020
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
0.4.115 12 Aug, 2020
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
0.4.114 12 Aug, 2020
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
0.4.113 12 Aug, 2020
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
0.4.112 12 Aug, 2020
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
0.4.111 12 Aug, 2020
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
0.4.110 12 Aug, 2020
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
0.4.109 11 Aug, 2020
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
0.4.107 10 Aug, 2020
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
0.4.106 10 Aug, 2020
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
0.4.105 4 Aug, 2020
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
0.4.104 4 Aug, 2020
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
0.4.103 4 Aug, 2020
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
0.4.102 3 Aug, 2020
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
0.4.100 3 Aug, 2020
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
0.4.99 31 Jul, 2020
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
0.4.98 29 Jul, 2020
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
0.4.97 29 Jul, 2020
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
0.4.96 15 Jul, 2020
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
0.4.95 15 Jul, 2020
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
0.4.94 14 Jul, 2020
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
0.4.93 13 Jul, 2020
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
0.4.92 12 Jul, 2020
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
0.4.91 9 Jul, 2020
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
0.4.90 9 Jul, 2020
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
0.4.89 9 Jul, 2020
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
0.4.88 9 Jul, 2020
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
0.4.87 9 Jul, 2020
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
0.4.86 9 Jul, 2020
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
0.4.85 8 Jul, 2020
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
0.4.84 8 Jul, 2020
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
0.4.83 8 Jul, 2020
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
0.4.82 8 Jul, 2020
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
0.4.81 8 Jul, 2020
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
0.4.79 7 Jul, 2020
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
0.4.77 7 Jul, 2020
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
0.4.76 7 Jul, 2020
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
0.4.75 7 Jul, 2020
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
0.4.73 3 Jul, 2020
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
0.4.72 3 Jul, 2020
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
0.4.71 3 Jul, 2020
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
0.4.70 30 Jun, 2020
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
0.4.69 27 Jun, 2020
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
0.4.68 26 Jun, 2020
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
0.4.66 26 Jun, 2020
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
0.4.64 26 Jun, 2020
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
0.4.63 26 Jun, 2020
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
0.4.62 25 Jun, 2020
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
0.4.60 24 Jun, 2020
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
0.4.59 23 Jun, 2020
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
0.4.58 23 Jun, 2020
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
0.4.57 22 Jun, 2020
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
0.4.56 22 Jun, 2020
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
0.4.55 22 Jun, 2020
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
0.4.54 19 Jun, 2020
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
0.4.52 19 Jun, 2020
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
0.4.51 18 Jun, 2020
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
0.4.50 17 Jun, 2020
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
0.4.45 16 Jun, 2020
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
0.4.44 16 Jun, 2020
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
0.4.42 16 Jun, 2020
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
0.4.41 16 Jun, 2020
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
0.4.40 16 Jun, 2020
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
0.4.39 15 Jun, 2020
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
0.4.38 15 Jun, 2020
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
0.4.37 15 Jun, 2020
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
0.4.36 15 Jun, 2020
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
0.4.35 15 Jun, 2020
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
0.4.34 11 Jun, 2020
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
0.4.33 11 Jun, 2020
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
0.4.32 11 Jun, 2020
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
0.4.31 11 Jun, 2020
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
0.4.30 10 Jun, 2020
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
0.4.29 10 Jun, 2020
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
0.4.28 9 Jun, 2020
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
0.4.27 9 Jun, 2020
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
See all versions