System Description: A Theorem-Prover for Subregular Systems: The Language Toolkit and Its Interpreter, Plebby.
Dakotah LambertPublished in: FLOPS (2024)
Keyphrases
- theorem prover
- programming language
- high level
- search algorithm
- expert systems
- term rewriting
- first order logic
- theorem proving
- computer algebra systems
- formal proof
- natural deduction
- automated reasoning
- inference rules
- natural language
- language learning
- production system
- automated theorem proving
- computer systems
- distributed systems
- machine learning