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
Fixed a bug caused by a find-replace typo. #20
Closed
Matt-Gracz closed 5 years ago
Syncing to master: Fixed a bug caused by a find-replace typo.