List view

Releasing KeY 3.0 and 2.13 release (Milestone v3.0.0)

Status: Open.

Task

#3768 In KeYProject/key;

· wadoon opened on Mar 14, 2026

Release Candidate: KeY 3.0

Status: Open.

Task

#3769 In KeYProject/key;

· wadoon opened on Mar 14, 2026

JSON-RPC API tutorial

Status: Open.

Task

#3772 In KeYProject/key;

· wadoon opened on Mar 14, 2026

Recent files entries broken

🐞 Bug

GUI

Status: Open.

Bug

#3898 In KeYProject/key;

· WolframPfeifer opened on Jul 7, 2026

Fix compact constructor in Records

Status: Open (in progress).

KeYProject/keynumber 3905

#3905 In KeYProject/key;

· wadoon opened on Jul 10, 2026

Fix recent file menu; fix #3898

GUI

Status: Open (in progress).

KeYProject/keynumber 3909

#3909 In KeYProject/key;

· wadoon opened on Jul 10, 2026