Modeling Procyon A as a benchmark for F-type

Procyon A is an early subgiant F-type star. It has a faint white dwarf companion, allowing a precise determination of the dynamical mass from asteroseismic measurements, where the main component has a stellar mass of 1.478 Msun. Procyon A was also one of the first stars to have an observed oscillation power spectrum other than the Sun. This provides us with a benchmark F-type star that can be used as a laboratory to test and validate the tools we have for characterizing F-type stars, from their stellar physics to the optimization methods we use. In this work, taking into account all the available data, I characterize Procyon A with MESA stellar models that include chemical transport mechanisms (gravitational settling and radiative acceleration) that are usually neglected in F-type stars for extreme surface chemical variations that are not expected in non-chemically peculiar stars. To avoid these extreme variations, I also considered turbulent mixing prescriptions. I also tested the accuracy of using the different seismic surface corrections in evaluating the seismic constraints during the optimization process.