Code Documentation

You can find the coqdoc documentation for BRiCk and related packages at the following links.

• bedrock.prelude.

• bedrock.lang.

• bedrock.upoly.

• Lens.

• Lens.Elpi.

Some BRiCk-specific examples are linked below. These are not sufficient for learning how to use BRiCk.

• Logic

• Notations

• Sequential Specs/Proofs

• Classes