How many movies have John Roesch and Lin-Manuel Miranda collaborated on?

They have worked on 3 movies together! Their first movie together was Moana (2016) while their highest rated movie together was Encanto (2021). They have not worked together since Encanto (2021). They are most known for their comedy films together.