I implement the Bayesian solution in pymc3 at the end [0].

[0] https://www.eadan.net/blog/german-tank-problem/#probabilisti...