Zulip Chat Archive
Stream: mathlib4
Topic: Upstream from the EquationalTheories Project
Pietro Monticone (Oct 20 2024 at 16:05):
We are upstreaming some of the EquationalTheories project code to Mathlib.
Pietro Monticone (Oct 20 2024 at 16:06):
Kim Morrison (Oct 21 2024 at 00:42):
(It's helpful to post lists of PRs as one PR per message, so reviewers can use emojis to indicate the status. I've merged and/or delegated a subset of these. :-)
Pietro Monticone (Oct 21 2024 at 00:45):
Ops, sorry! I did it in #Equational > Upstream to Mathlib, but not here…
Pietro Monticone (Oct 21 2024 at 00:46):
Opened #17971.
Pietro Monticone (Oct 21 2024 at 00:46):
Opened #17973.
Pietro Monticone (Oct 21 2024 at 00:46):
Opened #17976.
Pietro Monticone (Oct 21 2024 at 00:46):
Opened #17977.
Bernhard Reinke (Mar 03 2025 at 17:57):
Opened #22507
Bernhard Reinke (Mar 03 2025 at 17:58):
Opened #22510
Bernhard Reinke (Mar 03 2025 at 17:58):
Opened #22511
Bernhard Reinke (Mar 03 2025 at 17:58):
Opened #22513
Bernhard Reinke (Mar 06 2025 at 14:21):
Opened #22639
Last updated: May 02 2025 at 03:31 UTC