Evidence Library

Preserved source files remain available.

This directory stores the underlying artifacts. The main reviewer experience is the proof library, which groups the same files by discipline and review purpose.