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.12 years ago0.14.02 years ago0.13.33 years ago0.13.23 years ago0.13.03 years ago0.12.33 years ago0.12.2-rc13 years ago0.12.14 years ago