Zulip Chat Archive

Stream: std4

Topic: Pairing Heap


Yuyang Zhao (Dec 02 2022 at 03:36):

Hello everyone! I've implemented pairing heaps following docs4#Std.BinomialHeap. This is my first time programming with lean and I don't have a lot of experience. Currently the namings are also a bit arbitrary. Should I submit it to std4 as a PR?

Scott Morrison (Dec 02 2022 at 04:08):

You can. Just be forewarned that the bandwidth for helping with "not a lot of experience" PRs into std4 is limited at the moment, and depending on resources it may or may not get a prompt review or feedback. :-)

Scott Morrison (Dec 02 2022 at 04:09):

(Historically mathlib3 has been good --- or at least tried to be good --- about helping out with PRs from new contributors. Std4 and Lean4 however have only a few people who can do the reviews for now, and they are very busy!)

Yuyang Zhao (Dec 02 2022 at 05:27):

Got it! Here is my PR std4#47


Last updated: Dec 20 2023 at 11:08 UTC