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

(github.com)

2 points | by tikazyq 6 hours ago

No comments yet.