https://github.com/acl2/acl2

ACL2 System and Books as Maintained by the Community
https://github.com/acl2/acl2

acl2 common-lisp first-order-logic formal-methods formal-verification logic rewriting theorem-prover theorem-proving

Last synced: about 2 months ago
JSON representation

ACL2 System and Books as Maintained by the Community

• Host: GitHub
• URL: https://github.com/acl2/acl2
• Owner: acl2
• License: other
• Created: 2014-09-01T21:51:04.000Z (over 10 years ago)
• Default Branch: master
• Last Pushed: 2024-07-14T23:15:32.000Z (5 months ago)
• Last Synced: 2024-07-15T04:21:09.099Z (5 months ago)
• Topics: acl2, common-lisp, first-order-logic, formal-methods, formal-verification, logic, rewriting, theorem-prover, theorem-proving
• Language: Common Lisp
• Homepage: http://www.cs.utexas.edu/users/moore/acl2
• Size: 1.25 GB
• Stars: 350
• Watchers: 35
• Forks: 98
• Open Issues: 108
• Metadata Files:
  • Readme: README.md
  • Changelog: history-management.lisp
  • License: LICENSE

Awesome Lists containing this project