Skip to content

Universe Type Rules - #3724

Draft
PiIsRational wants to merge 62 commits into
KeYProject:mainfrom
PiIsRational:ut-integration
Draft

Universe Type Rules#3724
PiIsRational wants to merge 62 commits into
KeYProject:mainfrom
PiIsRational:ut-integration

cleanup

6e737e4
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
formatting
succeeded Sep 3, 2026 in 57s