Valeriy Sakharov

Premoves

2

### What feature would you like to see in cli-chess? Rather a big topic, so let's discuss: My thinking was to append all moves entered out of turn into a...

Feature: notify-levels

1

currently --notify produces events both on start and end of the command. In the perfect world would be able to specify it exactly the same as verbosity with `-N` for...

I have dozens of projects that bring cargo with ```nix rust = pkgs.rust-bin.selectLatestNightlyWith (toolchain: toolchain.default.override { extensions = [ "rust-src" "rust-analyzer" "rust-docs" "rustc-codegen-cranelift-preview" ]; }); ``` which runs into problems...

Still show last compiled goal-state while `Processing file...`

2

When I'm writing a proof, I would love to be able to have a consistent point of reference of existing hypothesis in the scope. Currently on every justification step I...