Labor Mobility with environmental taxes (Leisner 2023) This codebase features the programs used to solve, estimate and simulate from the model in Leisner (2023).