pFad - Phone/Frame/Anonymizer/Declutterfier! Saves Data!


--- a PPN by Garber Painting Akron. With Image Size Reduction included!

URL: http://github.com/acl2

l="stylesheet" href="https://github.githubassets.com/assets/primer-0b53c3bf3393e2ed.css" /> A Computational Logic for Applicative Common Lisp · GitHub
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 424 121

  2. docs docs Public archive

    Papers and presentations from workshops, seminars, etc.

    5 3

Repositories

Showing 2 of 2 repositories

Top languages

Loading…

Most used topics

Loading…
pFad - Phonifier reborn

Pfad - The Proxy pFad © 2024 Your Company Name. All rights reserved.




Check this box to remove all script contents from the fetched content.



Check this box to remove all images from the fetched content.


Check this box to remove all CSS styles from the fetched content.


Check this box to keep images inefficiently compressed and original size.

Note: This service is not intended for secure transactions such as banking, social media, email, or purchasing. Use at your own risk. We assume no liability whatsoever for broken pages.


Alternative Proxies:

Alternative Proxy

pFad Proxy

pFad v3 Proxy

pFad v4 Proxy