A small library for solving sequential decision problems in Lean based on Responsibility Under Uncertainty: Which Climate Decisions Matter Most? by Botta et al. (as well as preceeding papers).
See SDP.lean for an overview of the project.
| Name | Name | Last commit date | ||
|---|---|---|---|---|
A small library for solving sequential decision problems in Lean based on Responsibility Under Uncertainty: Which Climate Decisions Matter Most? by Botta et al. (as well as preceeding papers).
See SDP.lean for an overview of the project.