-
Notifications
You must be signed in to change notification settings - Fork 108
Pull requests: metamath/set.mm
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Add imadomnum, and drop the ax-ac dependency from fimact
#5466
opened Aug 28, 2026 by
vince-gonzalez
Contributor
Loading…
Transformation of JM's mathbox, part 6 (addendum 2)
#5465
opened Aug 28, 2026 by
avekens
Contributor
Loading…
Add Veronese lemmas for Pascal's theorem and promote dependencies
mathbox and moves to main
#5464
opened Aug 27, 2026 by
littledumb
Contributor
Loading…
Promote core AcyclicGraph definition and interface
#5462
opened Aug 26, 2026 by
mountain
Contributor
Loading…
Quantifier-free definition of df-fr
mathbox only
#5460
opened Aug 26, 2026 by
sctfn
Contributor
Loading…
scripts/rewrap-comments.py: rewrap comments without a metamath build
#5456
opened Aug 24, 2026 by
vince-gonzalez
Contributor
Loading…
Intuitionize sections "Specific prime numbers" and "Very large primes"
#5455
opened Aug 23, 2026 by
jkingdon
Contributor
Loading…
Angle addition is compatible with congruence (again)
#5454
opened Aug 23, 2026 by
tirix
Contributor
Loading…
Drop the ax-ac dependency from disjinfi
#5446
opened Aug 19, 2026 by
vince-gonzalez
Contributor
Loading…
Many proofs of discrete and real math
mathbox only
#5417
opened Jul 30, 2026 by
ProgramCrafter
Contributor
Loading…
experimental - introduce Hadwiger-Nelson problem as ~ undiscolmin
#5196
opened Feb 11, 2026 by
ProgramCrafter
Contributor
•
Draft
ProTip!
What’s not been updated in a month: updated:<2026-07-28.