name: twee-lib
description: An equational theorem prover based on Knuth-Bendix completion
license_spdx: BSD-3-Clause
version: 2.4.2
spec_version: 1.0
download_url: http://hackage.haskell.org/package/twee-lib-2.4.2/twee-lib-2.4.2.tar.gz
home_url: 
                
                  http://github.com/nick8325/twee
                
              
news_url: https://libraries.io/hackage/twee-lib/versions.atom
date: 2022-09-20
about_resource: NONE
libraries_io_url: https://libraries.io/hackage/twee-lib?number=2.4.2
vcs_tool: git
vcs_repository: https://github.com/nick8325/twee
vcs_branch: master
