---
name: Feature request
about: Suggest an idea to improve KeY
title: ''
labels: ''
assignees: ''

---

## Please describe your proposal in a ONE sentence

> One sentence describing your idea

## Underlying problem

> A clear and concise description of what the problem is. Ex. I'm always frustrated when [...]

## Usage Scenario

> Who (user scenario) would benefit from implementing the idea?
> Describe a short use case scenario in which the suggested idea is featured.
> Describe the solution you'd like: A clear and concise description of what you want to happen.

## Alternatives 

> A clear and concise description of any alternative solutions or features you've considered.
> Why is the suggestion the best alternative?

## Estimated effort

> If you can: Estimate the effort that has to be invested to implement the feature request.
> Is there still discussion needed? Or is it purely implementation? Expertises needed?

## Additional context

> Add any other context or screenshots about the feature request here.
