-
Notifications
You must be signed in to change notification settings - Fork 8
Pull requests: alt-romes/hegg
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Add new tests for Jacobi elliptic function simplification.
#22
opened Jun 12, 2023 by
NadiaYvette
Loading…
Draft: Add Equality.Saturation.Debug module for tracing eqsat
good first issue
Good for newcomers
#18
opened Sep 22, 2022 by
alt-romes
Loading…
Draft: {find,canonicalize} vs unsafe{Find,Canonicalize}
#12
opened Aug 28, 2022 by
alt-romes
Loading…
ProTip!
Add no:assignee to see everything that’s not assigned.