AlphaUncommon
acl2/acl2
ACL2 System and Books as Maintained by the Community
- Owner
- acl2 (organization)
- Stars
- Stars: 452
- Forks
- Forks: 131
- Language
- Common Lisp
- License
- None
- Created
- 2014
- Topics
- acl2theorem-provertheorem-provingcommon-lisprewritingformal-verificationformal-methodsfirst-order-logiclogic
- Tier
- Alpha (250 to 699 ★) What this tier means
Nearby in Common Lisp
All Common Lisp repos- hraban/mac-app-utilStars: 457Common LispAlpha
- quil-lang/qvmStars: 455Common LispAlpha
- kiselgra/c-meraStars: 454Common LispAlpha
- aimacode/aima-lispStars: 444Common LispAlpha
- fukamachi/dexadorStars: 438Common LispAlpha
- marijnh/PostmodernStars: 436Common LispAlpha