Leni Aniva

`capnp.AsyncIoStream` does not exist

2

I have ``` >>> capnp.__version__ '1.3.0' ``` There is no `capnp.AsyncIoStream` as shown in [calculator client example](https://github.com/capnproto/pycapnp/blob/db26d602832b8cf186ff464944e752c8c8352efc/examples/async_calculator_client.py): ``` >>> capnp.AsyncIoStream Traceback (most recent call last): File "", line 1, in...

Segmentation fault when using `get_env` with `run_tactic`

1

### Prerequisites * [X] 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). *...

### Describe the issue When I have a python project with `torch_geometric` as a dependency, I get ``` error: builder for '/nix/store/6j1c9dv9s0h8kd91na3ig0jjkkl2c7x0-pyg_lib-0.4.0+pt22cu118-cp311-cp311-linux_x86_64.whl.drv' failed with exit code 1; last 23 log...

Illegal character when using the `url` specification

1

### Describe the issue I have a `pyproject.toml` containing this line ```toml torch = { url = "https://download.pytorch.org/whl/cu118/torch-2.2.1%2Bcu118-cp311-cp311-linux_x86_64.whl" } ``` When I try to build the target created by `mkPoetryApplication`:...

Symbolic links ignored when building a python package

1

### Describe the issue I have a project structured like this ``` |- proto | |- interface.capnp |- python | |- {pyproject.toml, poetry.lock, ...} | |- projectname | | |-...

[Feature Request] Remove all non-delimiter symbols from `_lisp_quoted_specials`

4

Can we remove the following from `Symbol._lisp_quoted_specials`? ``` ('.', r'\.') ('#', r'\#') ('?', r'\?') ``` Removing these 3 only causes one unit test to fail: ``` self.assert_parse(r'path\.join', Symbol(r'path.join')) ``` which...

When writing a multi-line comment like ```lean /-- Line 1 Line 2 ... -/ ``` Suppose the user types in `/---/` and places the cursor before the last `-`. Pressing...

Adding evil keybindings

2

Is it possible to bundle evil keybindings into this package? I made some keybindings for the existing commands (doomemacs) ```emacs-lisp (map! :after lean4-mode :localleader :map lean4-mode-map :desc "Execute" "R" #'lean4-execute...

fix: Add platform dependent flag to lib target in nix

5

(Currently doesn't build on Darwin. Help wanted) Closes #3810 (`RFC` or `bug` issue number fixed by this PR, if any)

Weak tables

9

Is there a way to use `WHConsed` as keys in a weak hash table like [weak_table](https://docs.rs/weak-table/latest/weak_table/)? If not I can write one and open a PR