hakaru-dev / hakaru

A probabilistic programming language
BSD 3-Clause "New" or "Revised" License
311 stars 30 forks source link

added weibull to rayleigh tests and proofs #183

Closed NevTheDev14 closed 6 years ago

NevTheDev14 commented 6 years ago

weibull to rayleigh hakaru tests (0 and expected) and the maple proof