Zulip Chat Archive

Stream: maths

Topic: Combinatorics

view this post on Zulip Bhavik Mehta (Jan 27 2020 at 18:58):

I've finished up the combinatorics project I've been working on for a while! You can find it here: https://github.com/b-mehta/combinatorics. The main goal was the Kruskal-Katona theorem, but I proved a couple of other things along the way. PRs are very welcome (I've even made a few issues with possible contributions) - I might PR it to mathlib when I get the chance (though if someone else would like to, please go ahead).

view this post on Zulip Bryan Gin-ge Chen (Jan 27 2020 at 20:08):

This is cool, thanks for sharing! I definitely would like to see more combinatorics in mathlib...

view this post on Zulip Johan Commelin (Jan 29 2020 at 09:48):

@Bhavik Mehta That's really nice stuff. I encourage you to PR (parts of) it to mathlib.

Last updated: May 06 2021 at 18:20 UTC