Skip to content

Replace resalgebra with resalgebraNoAxioms#44

Merged
jcp19 merged 2 commits intomainfrom
replace-resalgebra
May 2, 2026
Merged

Replace resalgebra with resalgebraNoAxioms#44
jcp19 merged 2 commits intomainfrom
replace-resalgebra

Conversation

@jcp19
Copy link
Copy Markdown
Collaborator

@jcp19 jcp19 commented Apr 27, 2026

No description provided.

Copy link
Copy Markdown
Collaborator Author

@jcp19 jcp19 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

We'll maybe wait until #35 is merged before merging this one

@jcp19 jcp19 marked this pull request as ready for review April 27, 2026 12:25
@jcp19 jcp19 merged commit d248cb5 into main May 2, 2026
1 check passed
@jcp19 jcp19 deleted the replace-resalgebra branch May 2, 2026 10:14
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.

1 participant