Zulip Chat Archive
Stream: PR reviews
Topic: Stirling #14874 and #14875
Moritz Firsching (Jul 13 2022 at 19:50):
Reviews for Stirling's approximation would be most welcome:
#14874 and #14875
Moritz Firsching (Jul 17 2022 at 20:33):
Would it help to split the stuff in those two pull requests into smaller parts?
Last updated: Dec 20 2023 at 11:08 UTC