Skip to content

Add support for type annotations - #3992

Draft
PiIsRational wants to merge 70 commits into
KeYProject:mainfrom
PiIsRational:key-annotations
Draft

Add support for type annotations#3992
PiIsRational wants to merge 70 commits into
KeYProject:mainfrom
PiIsRational:key-annotations

cleanup

ade91f0
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs