Skip to content

Universe Type Rules - #3724

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

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

remove unused axiom from the rules

87ff5cd
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
integration-tests (testMtStress, ubuntu-latest, 21)
succeeded Aug 3, 2026 in 11m 16s