GoodRoyal/SupraAeonAgdaStory-Patent

3 best points · 0 comments · 1 Hacker News post · View on GitHub

Hacker News discussions

• Supra Aeon Story with Agda Proof and Provisional Appendix (3 points, 0 comments, by IndigoBlack, 2025-12-06)