First authorb paper out in the wild. It's challenging as an independent researcher, but it can be done. This has been a long time coming. Maybe more in the future https://zenodo.org/records/11214976 #paper#math#matheducation#proofs
Should show up in a couple other locations as well hopefully (pending reviews)