Big news! Sonar has entered a definitive agreement to acquire Tidelift!

termination
Release 0.0.2

A library for first-order term-rewriting

Homepage PyPI Python

Keywords: first-order-logic, python, python3, term-rewriting
License: MIT
Install: pip install termination==0.0.2

Documentation

`termination`: A library for first-order term-rewriting

TODO: Write this README

Dependencies: 0
Dependent packages: 0
Dependent repositories: 0
Total releases: 1
Latest release: Aug 6, 2018
First release: Aug 6, 2018
Stars: 0
Forks: 0
Watchers: 1
Contributors: 1
Repository size: 7.81 KB
SourceRank: 6

Releases

0.0.2: Aug 6, 2018

Contributors

See all contributors

Login to resync this project