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).
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...
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