The latest version of eo-phi-normalizer is 2.3.0-0.
eo-phi-normalizer
Version 2.2.1 revision 0 uploaded by deemp.
Package meta
- Synopsis
- Command line normalizer of 𝜑-calculus expressions.
- Description
Please see the README on GitHub at https://github.com/objectionary/eo-phi-normalizer#readme
- Author
- EO/Polystat Development Team
- Bug reports
- https://github.com/objectionary/eo-phi-normalizer/issues
- Category
- n/a
- Copyright
- 2023-2024 EO/Polystat Development Team
- Homepage
- https://github.com/objectionary/eo-phi-normalizer#readme
- Maintainer
- nickolay.kudasov@gmail.com
- Package URL
- n/a
- Stability
- n/a