issues
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
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Refactor complex prop
#22
Matt-Gracz
closed
5 years ago
1
Last check in for prototype: Prototyping has helped me figure out a …
#21
Matt-Gracz
closed
5 years ago
2
Fixed a bug caused by a find-replace typo.
#20
Matt-Gracz
closed
5 years ago
0
HUGE: Change ComplexProp data model
#19
Matt-Gracz
opened
5 years ago
0
Implement binary operator distribution
#18
Matt-Gracz
opened
5 years ago
0
Implement double-negation
#17
Matt-Gracz
opened
5 years ago
0
Clean up ComplexProp constructor
#16
Matt-Gracz
opened
5 years ago
0
Finish BaseClass all abstraction work
#15
Matt-Gracz
opened
5 years ago
0
Get rid of duplicate imports in Propositions
#14
Matt-Gracz
opened
5 years ago
0
Get rid of negate's extra parens
#13
Matt-Gracz
closed
5 years ago
0
Add type hinting to all functions
#12
Matt-Gracz
opened
5 years ago
0
Clean up Laws code and comment
#11
Matt-Gracz
closed
5 years ago
0
Plan out project using milestones in GitHub
#10
Matt-Gracz
opened
5 years ago
2
Set up pre-GitHub SCCS
#9
Matt-Gracz
closed
5 years ago
1
Rename project and repo
#8
Matt-Gracz
closed
5 years ago
0
Implement xor
#7
Matt-Gracz
closed
5 years ago
0
Negate not working for ComplexProp
#6
Matt-Gracz
closed
5 years ago
0
Make propositions iterable
#5
Matt-Gracz
opened
5 years ago
0
Account for order of operations properly
#4
Matt-Gracz
opened
5 years ago
0
Improve performance of ComplexProp::__init__
#3
Matt-Gracz
opened
5 years ago
0
Make ComplexProp::__init__ more elegant/"pythonic".
#2
Matt-Gracz
opened
5 years ago
0
Simplify ComplexProp::__eq__
#1
Matt-Gracz
opened
5 years ago
0