search

gelijergensen / MetaLogic

A general purpose calculator for propositional logic systems
MIT License
0 stars 0 forks source link

Add: Rewrite Rule System #7

Closed gelijergensen closed 3 years ago

gelijergensen commented 3 years ago

We need a convenient representation for a collection of rewrite rules (maybe a trie over the "patterns" which the rewrite rules match to?) along with a general runner which applies those rewrite rules to a formula