Similar projects and alternatives to twee-lib based on common topics and language
Main source code repository of the Tamarin prover for security protocol verification.
Scout APM: A developer's best friend. Try free for 14-days. Scout APM uses tracing logic that ties bottlenecks to source code so you know the exact line of code causing performance issues and can get back to building a great product faster.
First order logic in Haskell (by dillonhuff)
Experiments writing a prover
The core logical system of the HaskHOL theorem prover. See haskhol.org for more details.
We don't know posts mentioning twee-lib yet. We started tracking mentions in Dec 2020.
nick8325/twee is an open source project licensed under BSD 3-clause "New" or "Revised" License which is an OSI approved license.