Labels

For Issues/PR that apply to the aeneas-lean backend

Issue in one of the backends (i.e. F*, Coq, EC...)

Something isn't working

C backend

Related to command line

Coq backend

Pull requests that update a dependency file

Improvements or additions to documentation

This issue or pull request already exists

EasyCrypt backend

Issue in the engine

New feature or request

F* backend

Issue in the Rust to JSON translation

Good for newcomers

Extra attention is needed

This doesn't seem right

Pull requests that update javascript code

Related to the Lean backend or library

Lib-related issue (e.g. annotations lib)