https://github.com/objectionary/normalizer-maven-plugin

Maven plugin that can normalize 𝜑-calculus expressions, with the help of Normalizer
https://github.com/objectionary/normalizer-maven-plugin

eolang

Last synced: 8 months ago
JSON representation

Maven plugin that can normalize 𝜑-calculus expressions, with the help of Normalizer

• Host: GitHub
• URL: https://github.com/objectionary/normalizer-maven-plugin
• Owner: objectionary
• License: mit
• Created: 2023-12-13T10:38:21.000Z (about 2 years ago)
• Default Branch: master
• Last Pushed: 2024-08-24T10:50:52.000Z (over 1 year ago)
• Last Synced: 2024-08-24T11:52:00.084Z (over 1 year ago)
• Topics: eolang
• Language: Java
• Homepage:
• Size: 59.6 KB
• Stars: 3
• Watchers: 2
• Forks: 0
• Open Issues: 7
• Metadata Files:
  • Readme: README.md
  • License: LICENSE.txt

Awesome Lists containing this project