# Source files


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

- [Bridge proof module](/metaBuilder/examples/bridge/source/bridge.nix) - Source for the kernel-checked bridge theorem set.