Zulip Chat Archive

Stream: Is there code for X?

Topic: Bell numbers

Amir Livne Bar-on (Oct 21 2024 at 17:55):

Hi! I'm looking for Bell numbers, for use in the equational theories project. I found Finpartition which are used in combinatorics, but nothing that counts them.

Do we have Bell numbers in Mathlib already?

Eric Wieser (Oct 21 2024 at 17:56):

Two PRs that are related to this: #16647 and #15644

Amir Livne Bar-on (Oct 21 2024 at 17:57):

(deleted)

Notification Bot (Oct 21 2024 at 22:28):

2 messages were moved here from #Equational > Bell numbers in mathlib? by Eric Wieser.

Notification Bot (Oct 22 2024 at 19:52):

11 messages were moved from this topic to #Is there code for X? > OEIS by Eric Wieser.

Last updated: May 02 2025 at 03:31 UTC