啊？简单说下我的想法： 现在latex不好看，公式是给人看的，不是给llm看的，严重增加了我这种小白看数学类资料的难度。
显而易见，这是不好的。
所以就需要一种语言 1.他的定义是函数式的，这样我只要search base找到这个函数或者注释就知道定义啦 2.他的验证是可以直接运行程序验证的，类似这个，这样我加一个mcp tool，再选上自动运行，就可以一键托管agent了并debug了。
（类似我们改完一个项目后跑一下验证一下结果，我们现在…。
如果不能使用linux，只能选鸿蒙与windows，你会选哪个？
为什么Rust的包管理器Cargo这么好用？
有什么是你去了上海才知道的事情？
分享一下你用过好用的开源项目有哪些?
骑车后腰疼直不起来做什么运动比较好呢？
如何评价华为鸿蒙电脑？
皮肤太白是种怎样的体验？
如何看待不超过1879元的Mac mini（M4+16/256GB+票），易用性吊打同级其他台式电脑？
有没有追妻火葬场的文?
前端，后端，全栈哪个好找工作？
电话：
座机：
邮箱：
地址：
