search

Matt-Gracz / ManipuLogic_PROTOTYPE

An automated "logic calculator" written in Python. Future features: 1st/2nd order logic, automate proofs, etc...
GNU General Public License v3.0
0 stars 0 forks source link

HUGE: Change ComplexProp data model #19

Open Matt-Gracz opened 5 years ago

Matt-Gracz commented 5 years ago

ComplexProp fundamentally needs to hold instances of Propositions, NOT strings directly. This will change a lot but is necessary for e.g., recursive application of double-negation inside embedded ComplexProps.