An equational theorem prover based on Knuth-Bendix completion (by nick8325)

Twee-lib Alternatives

Similar projects and alternatives to twee-lib based on common topics and language

  • GitHub repo tamarin-prover

    Main source code repository of the Tamarin prover for security protocol verification.

  • GitHub repo tip-haskell-frontend

  • GitHub repo Folly

    First order logic in Haskell (by dillonhuff)

  • GitHub repo qed

    Experiments writing a prover

  • GitHub repo haskhol-core

    The core logical system of the HaskHOL theorem prover. See for more details.

NOTE: The number of mentions on this list indicates mentions on common posts. Hence, a higher number means a better twee-lib alternative or higher similarity.


Posts where twee-lib has been mentioned. We have used some of these posts to build our list of alternatives and similar projects.

We don't know posts mentioning twee-lib yet. We started tracking mentions in Dec 2020.


Basic twee-lib repo stats
4 days ago

nick8325/twee is an open source project licensed under BSD 3-clause "New" or "Revised" License which is an OSI approved license.