萧雅_May

介绍如何用Coze编写一个bot，不仅可以回答出使用的公理系统是什么，并且可以给出一个命题的完整证明。