如何系统地学习Lean语言？

如何系统地学习Lean语言？

我就默认你学的是Lean4了。 可以试着玩玩下面两款交互式...

查看详细
毕设答辩，老师说node不可能写后台怎么办?

毕设答辩，老师说node不可能写后台怎么办?

三个选择： 不要讲，现场 VSCODE 打开给他 demo ...

查看详细
国家为什么要把国企等企业电脑全部换成Linux环境？能不能从专业的角度分析一下？

国家为什么要把国企等企业电脑全部换成Linux环境？能不能从专业的角度分析一下？

先表明Linux使用身份，我是用Linux作为图形工作站的。...

查看详细
电脑c盘空间怎么清理?

电脑c盘空间怎么清理?

我之前也存在C盘空间不足的问题，看了网上的回答之后试过很多方...

查看详细
公司规定所有接口都用 post 请求，这是为什么？

公司规定所有接口都用 post 请求，这是为什么？

我之前也是喜欢严格遵循restful规范，什么get,pos...

查看详细