在线预约

当前位置：首页 >

羊福乡

如何系统地学习Lean语言？

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

各双拼输入方案之间有明显的优劣之分吗？

我用自然码七八年了，去年听一个做书记员培训的人说自然码和小鹤...

什么是微软式中文？

把“保存”(s***e)翻译成“挽救”。。。记得本世...

赫丽颜客服