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