Tag:proof-verification

All the articles with the tag "proof-verification".

• Paper Diagrams Are Maps, Not Proof Certificates

  Updated:2 Sep, 2026
  Commentary

  Discusses: A paper diagram visualizer

  Dependency diagrams can make mathematical papers easier to navigate, provided their inferred structure is not mistaken for verified proof evidence.