Skip to content

fix: do not compare transitively occurring thm holes by value - #65

Merged
hargoniX merged 3 commits into
masterfrom
hbv/fix64
Aug 6, 2026
Merged

fix: do not compare transitively occurring thm holes by value#65
hargoniX merged 3 commits into
masterfrom
hbv/fix64

Conversation

@hargoniX

@hargoniX hargoniX commented Aug 6, 2026

Copy link
Copy Markdown
Member

Fixes: #64

@hargoniX
hargoniX marked this pull request as ready for review August 6, 2026 09:33
@hargoniX
hargoniX merged commit 7892797 into master Aug 6, 2026
2 checks passed
@hargoniX
hargoniX deleted the hbv/fix64 branch August 6, 2026 11:16
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Compare.loop compares theorem holes by value, making some problems unsolvable

1 participant