应如何格式化证明中的证明或“内部证明”

Question

我遇到过几次这种情况，但尚未找到关于如何在证明中格式化证明的普遍共识。在证明环境中是否应该有一个缩进的证明环境？是否应该有一个不同的 QED。

此主题在某种程度上谈论了一种方法，但是案例与“内在证明”有点不同。

我查看了 AMS 的《类型数学》，但没有提到这种情况。