$ CODIGO
log in

ACL2

ACL2 logo
Edit on GitHub GitHub logo

Paradigms

functional

Typing

dynamic system

External Links

Type programming
Created 1990
Designed by Robert S. Boyer
Developed by Matt Kaufmann
PyPL Index N/A
TIOBE Index N/A
GitHub rank N/A

Code Example

↓
Loading...