awesome-repositories.com
Blog
MCP
awesome-repositories.com

Discover the best open-source repositories with AI-powered search.

ExploreCurated searchesOpen-source alternativesSelf-hosted softwareBlogSitemap
ProjectMCP serverAboutHow we rankPress
LegalPrivacyTerms
© 2026 Bringes Technology SRL·VAT RO45896025·hello@awesome-repositories.com
tani avatar

tani/acl2-kernel

0
View on GitHub↗
8 stars·3 forks·Jupyter Notebook·4 views

Acl2 Kernel

Jupyter Kernel for ACL2

Features

  • Theorem Provers - Jupyter kernel for interacting with the ACL2 theorem prover.

Star history

Star history chart for tani/acl2-kernelStar history chart for tani/acl2-kernel

How this analysis was created: This summary and feature list are AI-generated from collected project material and can contain mistakes. Stars, license and language are imported from GitHub. Inclusion does not mean that we have tested or audited this project. Check the source documentation for any feature you depend on. Learn more on our About page.

AI search

Explore more awesome repositories

Describe what you need in plain English — the AI ranks thousands of curated open-source projects by relevance.

Start searching with AI

Projects sharing features with Acl2 Kernel

These projects share indexed features with Acl2 Kernel. Shared tags can include platform or build tooling; verify the primary use case before treating a result as a replacement.
  • calebegg/proof-padcalebegg avatar

    calebegg/proof-pad

    11View on GitHub↗

    Proof Pad is a web based IDE for ACL2, using Google Kubernetes Engine to run ACL2 itself on the backend. Users can write and verify functions and theorems using a modern editor or a REPL interface. It's the evolution of the original Proof Pad project.

    TypeScript
    View on GitHub↗11
  • nasa/pvslibnasa avatar

    nasa/pvslib

    307View on GitHub↗

    NASALib =

    Common Lisp
    View on GitHub↗307

Frequently asked questions

What does tani/acl2-kernel do?

Jupyter Kernel for ACL2

What are the main features of tani/acl2-kernel?

The main features of tani/acl2-kernel are: Theorem Provers.

Which projects share features with tani/acl2-kernel?

Projects with overlapping indexed features include: calebegg/proof-pad — Proof Pad is a web based IDE for ACL2, using Google Kubernetes Engine to run ACL2 itself on the backend. Users can… nasa/pvslib — NASALib =.