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 6 1

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

    The Walnut Theorem Prover webpage

    1

  3. .github .github Public

    The special repository that integrates with GitHub

  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…