List view

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

🛠 MaintenanceCode quality and related things w/o functional changesCode quality and related things w/o functional changes

Status: Open.

Task

#3768 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

Release changes for 3.0.0

Status: Draft (not ready).

KeYProject/keynumber 3925

#3925 In KeYProject/key;

· wadoon opened on Jul 14, 2026