package coq-waterproof

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module `Waterproof`Source

Sourcemodule Backtracking : sig ... end

Sourcemodule Databases : sig ... end

Sourcemodule Exceptions : sig ... end

Sourcemodule G_waterproof : sig ... end

Sourcemodule Hint_dataset : sig ... end

Sourcemodule Hint_dataset_declarations : sig ... end

Sourcemodule Proofutils : sig ... end

Sourcemodule Unfold_framework : sig ... end

In this module we keep two tables:

Sourcemodule Waterprove : sig ... end

Sourcemodule Wp_auto : sig ... end

Sourcemodule Wp_bullets : sig ... end

This module registers two new bullet behaviors available for use in Waterproof. With

Sourcemodule Wp_eauto : sig ... end

Sourcemodule Wp_evars : sig ... end

Sourcemodule Wp_ffi : sig ... end

Sourcemodule Wp_rewrite : sig ... end