leanprover-community/lean-liquid

Issues

• Tensor product of condensed modules

  #76 opened 3 years ago by jcommelin
  0

• Automatic upgrade has failed

  #87 opened 3 years ago by leanprover-community-bot
  0

• Prove the BD-lemma for MacLane's Q'-construction

  #75 opened 3 years ago by jcommelin
  0

• Prove [Analytic 9.8] for profinite S

  #73 opened 3 years ago by jcommelin
  0

• Show that ℝ is a quotient of ℤ((T))_r

  #72 opened 3 years ago by jcommelin
  0

• Show that Cond(Ab) has enough projectives

  #71 opened 3 years ago by jcommelin
  0

• 2-term projective resolution of abelian groups

  #81 opened 3 years ago by jcommelin
  0

• Distinguished triangles in the homotopy category

  #74 opened 3 years ago by jcommelin
  1

• Automatic upgrade has failed

  #86 opened 3 years ago by leanprover-community-bot
  0

• Automatic upgrade has failed

  #83 opened 3 years ago by leanprover-community-bot
  0

• Automatic upgrade has failed

  #70 opened 3 years ago by leanprover-community-bot
  0

• Setup olean caches

  #38 opened 3 years ago by jcommelin
  0

• Fix the definition of p-Banach spaces

  #82 opened 3 years ago by faenuccio
  1

• Short exact sequence for ℒ → ℳ

  #80 opened 3 years ago by jcommelin
  0

• Deduce Extⁱ(Mbar, V) = 0 from Thm 9.4

  #77 opened 3 years ago by jcommelin
  0

• Complete the challenge

  #78 opened 3 years ago by jcommelin
  0

• Automatic upgrade has failed

  #69 opened 3 years ago by leanprover-community-bot
  1

• Automatic upgrade has failed

  #68 opened 3 years ago by leanprover-community-bot
  1

• Automatic upgrade has failed

  #67 opened 3 years ago by leanprover-community-bot
  1

• Automatic upgrade has failed

  #66 opened 3 years ago by leanprover-community-bot
  1

• Automatic upgrade has failed

  #65 opened 3 years ago by leanprover-community-bot
  1

• Automatic upgrade has failed

  #64 opened 3 years ago by leanprover-community-bot
  1

• Automatic upgrade has failed

  #63 opened 3 years ago by leanprover-community-bot
  1

• Automatic upgrade has failed

  #62 opened 3 years ago by leanprover-community-bot
  1

• Automatic upgrade has failed

  #61 opened 3 years ago by leanprover-community-bot
  1

• Automatic upgrade has failed

  #60 opened 3 years ago by leanprover-community-bot
  1

• Automatic upgrade has failed

  #59 opened 3 years ago by leanprover-community-bot
  1

• Automatic upgrade has failed

  #58 opened 3 years ago by leanprover-community-bot
  1

• Automatic upgrade has failed

  #57 opened 3 years ago by leanprover-community-bot
  1

• Automatic upgrade has failed

  #56 opened 3 years ago by leanprover-community-bot
  1

• Automatic upgrade has failed

  #55 opened 3 years ago by leanprover-community-bot
  1

• Automatic upgrade has failed

  #54 opened 3 years ago by leanprover-community-bot
  1

• Automatic upgrade has failed

  #53 opened 4 years ago by leanprover-community-bot
  1

• Automatic upgrade has failed

  #52 opened 4 years ago by leanprover-community-bot
  1

• Automatic upgrade has failed

  #51 opened 4 years ago by github-actions
  1

• Automatic upgrade has failed

  #46 opened 4 years ago by github-actions
  1

• Setup CI to check that thm95 stays sorry-free

  #37 opened 4 years ago by jcommelin
  0

• Automatic upgrade has failed

  #42 opened 4 years ago by github-actions
  1

• Automatic upgrade has failed

  #41 opened 4 years ago by github-actions
  1

• Automatic upgrade has failed

  #40 opened 4 years ago by github-actions
  1

• Automatic upgrade has failed

  #39 opened 4 years ago by github-actions
  1

• Automatic upgrade has failed

  #36 opened 4 years ago by github-actions
  1

• Prove Theorem 9.5

  #32 opened 4 years ago by jcommelin
  0

• Automatic upgrade has failed

  #34 opened 4 years ago by github-actions
  1

• Finalize all the constants

  #35 opened 4 years ago by jcommelin
  0

• Automatic upgrade has failed

  #33 opened 4 years ago by github-actions
  1

• Automatic upgrade has failed

  #31 opened 4 years ago by github-actions
  1

• Automatic upgrade has failed

  #30 opened 4 years ago by github-actions
  1

• Automatic upgrade has failed

  #29 opened 4 years ago by github-actions
  1

• Automatic upgrade has failed

  #28 opened 4 years ago by github-actions
  1