https://github.com/markkoz/prop-logic

A lexer and parser for propositional formulas in propositional logic
https://github.com/markkoz/prop-logic

lexer parser propositional-logic python

Last synced: 12 months ago
JSON representation

A lexer and parser for propositional formulas in propositional logic

• Host: GitHub
• URL: https://github.com/markkoz/prop-logic
• Owner: MarkKoz
• License: mit
• Created: 2022-01-24T22:35:04.000Z (over 4 years ago)
• Default Branch: main
• Last Pushed: 2022-01-28T02:26:22.000Z (over 4 years ago)
• Last Synced: 2025-02-01T00:25:01.324Z (over 1 year ago)
• Topics: lexer, parser, propositional-logic, python
• Language: Python
• Homepage:
• Size: 23.4 KB
• Stars: 0
• Watchers: 1
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

          
# prop_logic

A lexer and parser for propositional formulas in propositional logic. Formulas are parsed into an AST.