如何系统地学习Lean语言？

如何系统地学习Lean语言？

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

查看详细
中国历史给你最大的感触是什么？

中国历史给你最大的感触是什么？

原文19：无正文，但为议论，姑言之历史的天空。 决定从头开...

查看详细
为什么微信不向telegram学习？

为什么微信不向telegram学习？

Tg 有一个重大漏洞，可以获得所有用户的手机号 我甚至都有理...

查看详细
我特别不明白，我们这边做j***a 的，为什么要用windows 做server？

我特别不明白，我们这边做j***a 的，为什么要用windows 做server？

winserver主要是贵 以前2012/r2 的时候 ，一...

查看详细
大家有没有「大众认为是烂片但个人却喜欢看」的影片？

大家有没有「大众认为是烂片但个人却喜欢看」的影片？

第一部：奇幻片《美少女特攻队》，成本八千二百万美元，票房八千...

查看详细