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
Implement binary operator distribution #18
Open
Matt-Gracz opened 5 years ago