hodovani

From the book Rationality A to Z, the general understanding of Lean( is an interactive theorem prover), Intuitive Interactive Bayes' Theorem Visualization tool(example: https://allenkim67.github.io/bayes-demo/). I assumed that there should be a tool to help make a better decision. So the perfect result would be some assistance that helps to make...