Hacker News new | ask | show | jobs
Formally Verified Hashed Sets in Ada Spark (adacore.com)
1 points by ajdude 53 days ago