Simon Hudon

Breaking change in `rw` in Lean 3.11.0

2

### Prerequisites * [ ] Put an X between the brackets on this line if you have done all of the following: * Checked that your issue isn't already [filed](https://github.com/leanprover-community/lean/issues)....

Using latex-preview-pane with org-mode

2

I'm writing a multi-file document in org-mode and exporting to LaTeX. I've already setup a way of doing the compilation but now I'd like to use latex-preview-pane simply to display...

feat(order/omega-cpo): cpos form a cartesian closed category

11

---

---

Bump mathlib.

1

I'm updating to the latest mathlib snapshot If you accept this PR, can you update the configuration file on Lean depot? https://gitlab.com/simon.hudon/lean-depot/blob/master/pkgs/lean-homotopy-theory.toml