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 a decision. The type of question I would like to answer: "Should I help this person?", "Should I change the job?". I am using a list of heuristics and questions for now. But it is hard for me to understand how to apply logic or Bayes's theorem here. Thanks for any help 🌻

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 a decision.

The type of question I would like to answer: "Should I help this person?", "Should I change the job?".

I am using a list of heuristics and questions for now. But it is hard for me to understand how to apply logic or Bayes's theorem here.

Thanks for any help 🌻