Hacker News new | ask | show | jobs
The Dracula programming environment for ACL2 (dracula-lang.github.io)
4 points by tmtvl 4 days ago