diary

嗯..! 目前共计 13 篇日志。 继续努力。

20262

01-13

diary

01-10

How_To_ASK_QUESITION_SMART_WAY

20257

12-22

UniqueIds

11-01

JAVA_Knowledge

10-31

OS_knowledge

02-07

mathlib4_source_code_LinearAlgebra

01-31

Liner_Algebra

01-17

theorem_proving_in_lean4

01-02

Mathematics_in_Lean

20244

12-31

Lean4