Lean guide (PDF)

Certified Bayesian Inference

Certified_Bayesian_Lean_Companion_Final.pdf

Expand readerOpen PDF directlyDownload PDF

Use the reader toolbar to search, choose a page, zoom or print. If the reader does not load, open or download the PDF directly.

Other PDFs for this work

Original file and source record

This copy matches the recorded source file. Its publication here does not change the work’s review status.

SHA-256: e7c16c600452a74540abe776e6060a686479c820adaf3d23bd795cf17dc6af7c

Original source on GitHub

Back to Certified Bayesian Inference