jscoq

A port of Coq to JavaScript -- run Coq in your browser

Package versions

18 VERSIONS IN TOTAL
versionpublisheddirect vulnerabilities
0.17.14 Oct, 2023
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
0.17.05 Sep, 2023
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
0.16.022 Sep, 2022
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
0.15.118 Jun, 2022
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
0.15.019 Mar, 2022
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
0.14.114 Jan, 2022
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
0.14.03 Dec, 2021
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
0.13.322 Sep, 2021
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
0.13.215 Aug, 2021
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
0.13.026 May, 2021
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
0.12.34 Mar, 2021
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
0.12.2-rc13 Feb, 2021
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
0.12.115 Nov, 2020
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
0.12.1-rc16 Nov, 2020
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
0.12.01 Sep, 2020
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
0.11.08 Apr, 2020
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
0.10.128 Jan, 2020
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
0.10.019 Jun, 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