Product Launch
anonymous
2 points
0 comments
Posted28 days agoActive28 days ago
Supra Aeon
github.commvplibrarydevelopers
Key Features
Agda proofprovisional appendixpatent-related documentation
Tech Stack
Agda
Key Features
Tech Stack
No comments available in our database yet.
Comments are synced periodically from Hacker News.
Not affiliated with Hacker News or Y Combinator. We simply enrich the public API with analytics.