Verified record · from the answer index

acl2

clitested · static-verifiedscore 36/100signed passport ✓28 monthly downloads

Logic and programming language in which you can model computer systems

cli:brew:acl2 · published by acl2 · source repository