Enumerating Projective Planes of Order Nine with Proof Verification. - Daniel Dallaire; Curtis Bright (SC-Square@FLoC, 2022)