Issues

• Automatic upgrade has failed

  leanprover-community/lean-liquid#87 · Filter by author ghost opened on Mar 23, 2022

• Short exact sequence for ℒ → ℳ

  leanprover-community/lean-liquid#80 · Filter by author jcommelin opened on Feb 16, 2022
  

• Complete the challenge

  leanprover-community/lean-liquid#78 · Filter by author jcommelin opened on Nov 29, 2021

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

  leanprover-community/lean-liquid#77 · Filter by author jcommelin opened on Nov 29, 2021

• Tensor product of condensed modules

  leanprover-community/lean-liquid#76 · Filter by author jcommelin opened on Nov 29, 2021

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

  leanprover-community/lean-liquid#75 · Filter by author jcommelin opened on Nov 29, 2021