Lean-zh/fp-lean-zh

Issues

• Preface

  #42 opened 6 days ago
  0

• [Formatting] 中文粗体未能正常渲染

  #28 opened 4 months ago
  3

• Programming, Proving, and Performance

  #27 opened 4 months ago
  0

• Next Steps

  #25 opened 4 months ago
  1

• Interlude: Tactics, Induction, and Proofs

  #24 opened 4 months ago
  0

• Functors, Applicative Functors, and Monads

  #23 opened 4 months ago
  5

• Monad Transformers

  #22 opened 4 months ago
  0

• Programming with Dependent Types

  #19 opened 4 months ago
  0

• Overloading and Type Classes

  #18 opened 4 months ago
  1

• Monads

  #11 opened 5 months ago
  0

• Interlude: Propositions, Proofs, and Indexing

  #10 opened 5 months ago
  0

• Hello, World!

  #9 opened 5 months ago
  0

• Getting to Know Lean

  #8 opened 3 months ago
  1

• 翻译列表

  #7 opened 5 months ago
  0

• 翻译规范

  #1 opened 6 months ago
  0