8000 A Computational Logic for Applicative Common Lisp · GitHub
[go: up one dir, main page]
Skip to content
@acl2

A Computational Logic for Applicative Common Lisp

Popular repositories Loading

  1. acl2 acl2 Public

    ACL2 System and Books as Maintained by the Community

    Common Lisp 453 131

  2. docs docs Public archive

    Papers and presentations from workshops, seminars, etc.

    5 3

Repositories

Showing 2 of 2 repositories
  • acl2 Public

    ACL2 System and Books as Maintained by the Community

    acl2/acl2's past year of commit activity
    Common Lisp 453 131 118 (6 issues need help) 18 Updated Nov 7, 2026
  • docs Public archive

    Papers and presentations from workshops, seminars, etc.

    acl2/docs's past year of commit activity
    5 3 0 0 Updated Feb 8, 2022

Top languages

Common Lisp

Most used topics

Loading…
0