Skip to content

@propel-prover propel-prover

Change the repository type filter

All

    Repositories list

    2 repositories

    • propel

      Public
      Check the commutativity, associativity, idempotency, and other algebraic properties of your functions and relations
      Scala
      •
      Apache License 2.0
      •2•2•0•0•Updated Oct 24, 2024Oct 24, 2024

    • propel-prover.github.io

      Public
      Website for the Propel prover
      HTML
      •0•0•0•0•Updated Jun 25, 2024Jun 25, 2024