Skip to content
@propel-prover

propel-prover

Popular repositories Loading

  1. propel propel Public

    Check the commutativity, associativity, idempotency, and other algebraic properties of your functions and relations

    Scala 1 2

  2. propel-prover.github.io propel-prover.github.io Public

    Website for the Propel prover

    HTML

Repositories

Showing 2 of 2 repositories
  • propel Public

    Check the commutativity, associativity, idempotency, and other algebraic properties of your functions and relations

    propel-prover/propel’s past year of commit activity
    Scala 1 Apache-2.0 2 0 0 Updated Oct 24, 2024
  • propel-prover.github.io Public

    Website for the Propel prover

    propel-prover/propel-prover.github.io’s past year of commit activity
    HTML 0 0 0 0 Updated Jun 25, 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…