Code

C06#15

Code

Merged

subfish-zhou merged 11 commits intomasterLean-zh/math-in-lean-zh:masterfrom c06Lean-zh/math-in-lean-zh:c06Copy head branch name to clipboardNov 12, 2024

+1,376-212

Commits

Commits on Oct 19, 2024

• C06_Structures.rst, (intro)

  hehepig166

  committed
  dd20338

  Copy full SHA for dd20338

Commits on Oct 20, 2024

• update C06_Structures.rst

  hehepig166

  committed
  fc476c4

  Copy full SHA for fc476c4

• update c06s01

  

  hehepig166

  authored and

  hehepig166

  committed
  4d5abd3

  Copy full SHA for 4d5abd3

• update c06 intro

  

  hehepig166

  authored and

  hehepig166

  committed
  93d4812

  Copy full SHA for 93d4812

• update c06 intro

  

  hehepig166

  authored and

  hehepig166

  committed
  03218c5

  Copy full SHA for 03218c5

Commits on Oct 21, 2024

• c06s01 initially completed

  

  hehepig166

  authored and

  hehepig166

  committed
  ac7af25

  Copy full SHA for ac7af25

• update intro

  

  hehepig166

  authored and

  hehepig166

  committed
  c4ac8ee

  Copy full SHA for c4ac8ee

• 修改了一下s01，改了些词比如“打包”

  

  hehepig166

  authored and

  hehepig166

  committed
  fe17f68

  Copy full SHA for fe17f68

Commits on Oct 22, 2024

• 修改了引言第一段

  

  hehepig166

  authored and

  hehepig166

  committed
  0f2ecce

  Copy full SHA for 0f2ecce

Commits on Nov 2, 2024

• update c06s01

  

  hehepig166

  authored and

  hehepig166

  committed
  2a6891b

  Copy full SHA for 2a6891b

• start c06s02

  

  hehepig166

  authored and

  hehepig166

  committed
  c51a7d6

  Copy full SHA for c51a7d6