Adeet Patel
Adeet Patel
To-do items: - [x] Make `FilterConverter.spatial` backwards-compatible - [ ] Add support for 3D geometries and bounding boxes - [x] Add a unit test assert that ensures the file metadata...
I'm experiencing the same issue. I installed Lean through MELPA on an Ubuntu Linux system by following the instructions in the README file on https://github.com/leanprover/lean-mode, but it's not working. Does...
> Do you have Lean (or elan) in your PATH? It's usually a good idea to do that anyway; after that, Emacs should copy PATH into its exec-path and lean-mode...