Skip to content
@Walnut-Theorem-Prover

Walnut Theorem Prover

Automatic Theorem Prover for Automatic Words

Walnut Theorem Prover

Walnut Theorem Prover is the organization for the Walnut tool.

Popular repositories Loading

  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
  • Walnut Public

    Automated theorem prover for automatic words.

    Walnut-Theorem-Prover/Walnut’s past year of commit activity
    Java 0 GPL-3.0 0 7 0 Updated May 9, 2024
  • documentation Public

    Documentation for the Walnut Theorem Prover

    Walnut-Theorem-Prover/documentation’s past year of commit activity
    0 CC0-1.0 0 3 0 Updated May 6, 2024
  • .github Public

    The special repository that integrates with GitHub

    Walnut-Theorem-Prover/.github’s past year of commit activity
    0 0 0 0 Updated May 1, 2024
  • Walnut-Theorem-Prover.github.io Public

    The Walnut CAS webpage

    Walnut-Theorem-Prover/Walnut-Theorem-Prover.github.io’s past year of commit activity
    HTML 0 GPL-3.0 0 0 0 Updated May 1, 2024

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…