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

谢邀～(*˘︶˘*).｡.:*♡ 第一老鼠精和万圣公主并列第...

完全可以的。 我有个30x30x30cm的立方体小缸，25...