package coq-waterproof

  1. Overview
  2. Docs

coq-waterproof 2.0.1+8.17

Libraries

This package provides the following libraries (via ocamlobjinfo):

coq-waterproof.plugin

Documentation:

OCaml

Innovation. Community. Security.