Language
ACL2
Software system consisting of a programming language, an extensible theory in a first-order logic, and an automated theorem prover
1990Appeared
dynamic typingType system
Facts
- Appeared
- 1990
- Type system
- dynamic typing
- Kind
- free software
- Paradigms
- functional programming
- Designed by
- Robert S. Boyer
- Developer
- Matt Kaufmann
- Licence
- BSD licenses
- Operating system
- Unix-like operating system
Sources: Wikidata (CC0) · Wikidata Q4650692