Autonomous Prover Running > 1hr
Project in .com
- Kind
- Project
- Country
- Worldwide
- Place
- .com
- Listed since
- 2026
- Website
- https://perqed.com/minutiae/
- launched
- 2026-03-17
- launch post
- https://news.ycombinator.com/item?id=47407247
- hn score
- 2
- domain created
- 2026-03-14
- Last verified
- 2026-03-17
Sources
- Hacker News, "Show HN" — news.ycombinator.com, read 2026-03-17