package coq-waterproof

  1. Overview
  2. Docs

coq-waterproof 2.1.1+8.18

Libraries

This package provides the following libraries (via ocamlobjinfo):

coq-waterproof.plugin

Documentation: