leaning

首先我特别想学习java语言这门技术 因为在这个java工程师饱和的大环境下 我将巩固我的java语言能力然后写一些小网站页面来熟练我的语言技术的能力 其次我讲学习一些框架 例如ssm以及springboot来巩固我的java技术能力 将框架进行一个整合 然后我将开启一些项目的制作 写一些项目 熟能 ......

官方： Lean (leanprover.github.io) 社区：Lean community (leanprover-community.github.io) (github.com)： leanprover-community/mathlib4: Work in progress mathl ......