Zulip Chat Archive

Stream: triage

Topic: PR #8399: feat(archive): mccune axiom defines groups

Random Issue Bot (Nov 16 2021 at 14:19):

Today I chose PR 8399 for discussion!

feat(archive): mccune axiom defines groups
Created by @Bhavik Mehta (@b-mehta) on 2021-07-22
Labels: awaiting-author

Is this PR still relevant? Any recent updates? Anyone making progress?

Random Issue Bot (May 06 2022 at 14:21):

Today I chose PR 8399 for discussion!

feat(archive): mccune axiom defines groups
Created by @Bhavik Mehta (@b-mehta) on 2021-07-22
Labels: awaiting-author

Is this PR still relevant? Any recent updates? Anyone making progress?

Yaël Dillies (May 06 2022 at 14:54):

This is ready modulo docstrings.

Random Issue Bot (Aug 07 2022 at 14:13):

Today I chose PR 8399 for discussion!

feat(archive): mccune axiom defines groups
Created by @Bhavik Mehta (@b-mehta) on 2021-07-22
Labels: awaiting-author

Is this PR still relevant? Any recent updates? Anyone making progress?

Last updated: Dec 20 2023 at 11:08 UTC