objectionary/phino
Command-Line Normalizer, Rewriter, and Dataizer of 𝜑-Calculus Expressions
GitHub repository with 17 stars and 8 forks.
Language: Haskell
Topics: code-analysis, command-line-tool, eolang, formalization, haskell, normalization, phi-calculus