bernborgess

Issue with .jfif file formats

1

# Images in .jfif format * Upload occurs normally, it is sent and the loading icon shows. * After processing the image return is crashed  In the image url...

Pdf is not including images from markdown

1

Exporting the book in > >A PDF is [available here for download](../../releases/download/latest/Metaprogramming.in.Lean.4.pdf) (and is rebuilt on each change). > Is generating a PDF which does not contain the images. A...

🐛 hehe

* Devcontainer files allow for an automatic `Lean 4` container to be used with this repository

Feature Request: Vim Motions

2

How feasible is it to add the vim motions feature? Some web editors support it like [replit](https://replit.com/) has these `keybinds` option:  It would widely improve the usability of the...

### Prerequisites Please put an X between the brackets as you perform the following steps: * [X] Check that your issue is not already filed: https://github.com/leanprover/lean4/issues * [X] Reduce the...