Skip to content

Back translation for Princess rewrites - #527

Open
daniel-raffler wants to merge 26 commits into
masterfrom
princessVisitorImprovements
Open

Back translation for Princess rewrites#527
daniel-raffler wants to merge 26 commits into
masterfrom
princessVisitorImprovements

Princess: Patch missing variable sort after quantifier elimination

c54533c
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar