Hacker News new | ask | show | jobs
by junke 974 days ago
They could list https://en.wikipedia.org/wiki/ACL2 but nobody cares I guess