The Dracula programming environment for ACL2

4 pointsposted 6 hours ago
by tmtvl
(dracula-lang.github.io)

No comments yet