Template:Proof assistant/Metadata