Skip to content

[pre-commit.ci] auto fixes from pre-commit.com hooks

d9a8f33
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Merged

Fix incorrect deskolemization of literals #3127

[pre-commit.ci] auto fixes from pre-commit.com hooks
d9a8f33
Select commit
Loading
Failed to load commit list.