/proof.m

In the context of notetaking as it pertains to procedural algorithms, a proof.m (where the m stands for 'motivation') would be a type of README file that outlines a proof. This is a lite design document meant to convey ideas (+ pseudocode) before they are configured and/or executed. (see BOT, patch)