博爱县

如果是非哄蒙式开源，100%支持，并且会立即尝试写一个有实用

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

路过 根据俺面试少说上百人的个人经验吧 一般会问一些相关原理

缺乏设计规范的狗式。 看看这八个窗口吧，哪个不是常用应

当你看过很多后，你就会发现，谁都没有什么惊艳的，图形都差不多

关注社区OpenGithub社区：***s://open.i