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.

Discord

There is also a Walnut community Discord server

Popular repositories Loading

  1. Walnut Walnut Public

    The source of Walnut

    Java 2 1

  2. .github .github Public

    The special repository that integrates with GitHub

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

    The Walnut Theorem Prover webpage

  4. documentation documentation Public

    Documentation for the Walnut Theorem Prover

Repositories

Showing 4 of 4 repositories
  • Walnut Public

    The source of Walnut

    Walnut-Theorem-Prover/Walnut’s past year of commit activity
    Java 2 GPL-3.0 1 19 (5 issues need help) 0 Updated Mar 27, 2025
  • .github Public

    The special repository that integrates with GitHub

    Walnut-Theorem-Prover/.github’s past year of commit activity
    0 0 0 0 Updated Mar 26, 2025
  • Walnut-Theorem-Prover.github.io Public

    The Walnut Theorem Prover webpage

    Walnut-Theorem-Prover/Walnut-Theorem-Prover.github.io’s past year of commit activity
    0 GPL-3.0 0 1 0 Updated Feb 13, 2025
  • 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

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…