addon-promising-coqSNU's promising-coq (https://github.com/snu-sf/promising-coq.git) addon for jsCoq.3 dependents8 versions@infinitebrahmanuniverse/nolb-_jsc@everything-registry/sub-chunk-498@zalastax/nolb-_jsc0.14.13 years ago0.14.04 years ago0.13.34 years ago0.13.24 years ago0.13.04 years ago0.12.34 years ago0.12.2-rc14 years ago0.12.15 years ago