3 ms·

Not really. A quick git blame (or alternative) will give you the required information about the validity of such proof.

• dullcrisp 10mo ago
  You must have some git plugin I haven’t heard about.
  • skydhash 10mo ago
    Git blame will show the commit and the date for each line. It’s easy to verify if the snippet has changed since the comment. i use Emacs and it’s builtin vc package that color code each block.
    • AnimalMuppet 10mo ago
      But you need the snippet and, potentially, the entire call tree (both up and down).
      • dullcrisp 10mo ago
        And anything that can affect relevant state, any dependencies that may have changed, validations to input that may have been modified; it’s hard to know without knowing what assumptions the assertion is based on.