如何系统地学习Lean语言？

如何系统地学习Lean语言？

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

查看详细
你在你男/女朋友的手机里发现过什么秘密？

你在你男/女朋友的手机里发现过什么秘密？

不是男朋友，是老公。 我老公快30岁了，但是心智不成熟，像

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

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

我大学有一门课，结束时做个demo然后讲。 助教问，都是调用

查看详细
汪峰的每任妻子都很漂亮，他有哪些男性魅力？

汪峰的每任妻子都很漂亮，他有哪些男性魅力？

搭上宁静后，汪峰彻底不装了。 ***秀《五十公里桃花坞》最

查看详细
JetBrains会成为下一个Borland吗？

JetBrains会成为下一个Borland吗？

jb的fleet难产了，如果能和vscode那样，高性能，扩

查看详细