Supra Aeon Story with Agda Proof and Provisional Appendixgithub.com/GoodRoyal3 pointsIndigoBlack7 months ago