Zulip Chat Archive

Stream: Formal conjectures

Topic: Juggler Sequence

Franz Huschenbeth (Jan 18 2026 at 22:28):

Can somebody take a look at FC#1759. It is my first Contribution to the Formal Conjectures Repository. Appreciate any feedback.

Moritz Firsching (Jan 19 2026 at 08:22):

Thanks! Reviewed it now. :juggling:

Franz Huschenbeth (Jan 19 2026 at 09:20):

Thanks for the comments. :smile:

Last updated: Feb 28 2026 at 14:05 UTC