产出该输出的 Skills：Formalized proof

浏览产出该输出的技能列表。