Web Directory

    Top: Computers: Programming: Languages: Lisp: Compilers_and_Interpreters:

 

ACL2

  Link Details for: ACL2
Link Title: ACL2 Open in a new window
Link URL: http://www.cs.utexas.edu/users/moore/acl2/
Link Details: Applicative Common Lisp, multipurpose system. Most common uses: language for programming, specification, modeling; a formal mathematical logic, semi-automatic theorem prover. [Open Source, GPL]
Category: Top : Computers : Programming : Languages : Lisp : Compilers_and_Interpreters
Link Type: Lock this listing - So it can't be removedLock this listing - and upgrade it to FeaturedReport this listingAdd a regular link to the same category
ScreenShot:
ACL2