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: 3 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 (almost 11 years ago)
• Default Branch: master
• Last Pushed: 2024-10-30T01:14:04.000Z (7 months ago)
• Last Synced: 2024-10-30T01:53:10.464Z (7 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.34 GB
• Stars: 364
• Watchers: 36
• Forks: 100
• Open Issues: 110
• Metadata Files:
  • Readme: README.md
  • Changelog: history-management.lisp
  • License: LICENSE

Awesome Lists containing this project