package coq-jsast

  1. Overview
  2. No Docs

Description

Published: 07 Jul 2018

Dependencies (3)

  1. coq-flocq >= "2.6.0" & < "3.0~"
  2. coq >= "8.7.2"
  3. ocaml

Dev Dependencies

None

Used by (1)

  1. coq-qcert >= "1.0.7" & < "2.0.0"

Conflicts

None