Counting Parabolic Double Cosets in Symmetric Groups. - Thomas Browning (Electron. J. Comb., 2021)

Formalizing Galois Theory. - Thomas Browning; Patrick Lutz (Exp. Math., 2022)