Show HN: LeanSpec - Built in 10 days using the specs it defines

(github.com) by tikazyq | Nov 11, 2025 | 0 comments on HN