Skip to content
@Walnut-Theorem-Prover

Walnut Theorem Prover

Automatic Theorem Prover for Automatic Words
README.md

Walnut Theorem Prover

Walnut Theorem Prover is the organization for the Walnut tool.

Popular repositories

  1. .github .github Public

    The special repository that integrates with GitHub

  2. Walnut Walnut Public

    Automated theorem prover for automatic words.

    Java

  3. Walnut-Theorem-Prover.github.io Walnut-Theorem-Prover.github.io Public

    The Walnut CAS webpage

    HTML

  4. documentation documentation Public

    Documentation for the Walnut Theorem Prover

Repositories

Showing 4 of 4 repositories

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…