Simon Vandevelde

When writing, I tend to switch often between editing and view mode. It would be neat to have a shortcut to do this, to avoid having to use the mouse...

Pressing the tab key in the editor moves focus onto the back arrow in the top left corner. While it could be argued that this is intended (I know of...

Allow creating Int from i32

5

Hi, Thank you for the neat package. I've been a long time user of Z3 through Python, and am now looking into switching to Rust for more performance. One hurdle...

Support for freezer management

2

**Is your idea or proposal related to a problem? Please describe.** I tend to cook in bulk, and freeze leftovers for later meals. Keeping track of what's in the freezer...

Add search feature to docs

2

The docs could really use a search feature to quickly find information. According to the docusaurus docs, this should be doable. I can look into this myself as soon as...