Sign in Sign up

npm

wacoq-bin

WASM Binaries of the Coq Proof Assistant (for jsCoq)

View on Npm

Activity

Latest release: 3y ago
Total releases: 10
Cadence: ~2 months
Last 12 months: 0

Details

License: MIT
First release: Jan 14, 2021

Releases

Version	Released
`0.16.0` minor	Sep 22, 2022
`0.15.1` patch	Jun 18, 2022
`0.15.0` minor	Mar 19, 2022
`0.14.1` patch	Jan 14, 2022
`0.14.0` minor	Dec 03, 2021
`0.13.3` patch	Sep 22, 2021
`0.13.2` patch	Aug 15, 2021
`0.13.0` minor	May 26, 2021
`0.12.2` initial	May 05, 2021
`0.12.1-alpha2` pre	Jan 14, 2021

Dependencies (16)

Depends on

0.16.0

Used by

1

Supply-chain exposure

1 tracked projects depend on this, <1% of every package we track.

Insights

Releases per month

last 12 months

Release mix

minor 4
patch 4
pre 1

10 releases

Dependencies over time

per release

Release calendar

2022

Jan

Feb

Mar

Apr

May

Jun

Jul

Aug

Sep

Oct

Nov

Dec

Less More