Verification manuals

Assumptions, equations, references, and version history for every method implemented in the platform.