Source files

These files are the complete source for Bridge example: the builder module plus the fixtures it consumes.

• Bridge proof module - Source for the kernel-checked bridge theorem set.