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

昨天走街串巷看到一个襄阳牛肉面，顺便有热干面，闻着味就知道绝

我最近刚把 QQ 音乐上的几千首歌，都在 Apple mus

去游泳的时候见过一个，165左右，小头宽肩细腰胯宽腿直肤白，

37岁的霍华德选择了妥协，到台湾联赛打球。 看，他和女球迷合