Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

WRITING: Expand upon "modifying base magma" section (Section 5.6) #956

Open
teorth opened this issue Nov 30, 2024 · 1 comment
Open

WRITING: Expand upon "modifying base magma" section (Section 5.6) #956

teorth opened this issue Nov 30, 2024 · 1 comment
Assignees
@dsm054

Comments

@teorth
Copy link
Owner

teorth commented Nov 30, 2024

In particular discuss how ATPs were used to find new refutations for equations such as 854. One can emphasize the heuristic nature of these explorations.
@teorth teorth converted this from a draft issue Nov 30, 2024
@dsm054
Copy link
Contributor

dsm054 commented Dec 13, 2024

claim

@teorth teorth moved this from Unclaimed Outstanding Tasks to Claimed Tasks in Equational Theories Project Dec 13, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@dsm054 dsm054

Labels
None yet
Projects
Equational Theories Project
Status: Claimed Tasks
Milestone
No milestone
Development

No branches or pull requests
2 participants
@teorth @dsm054