issues
search
kror-shack
/
my-logic-hub
Simplify logic with myLogicHub
https://mylogichub.com
GNU General Public License v3.0
8
stars
0
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
fix: bracket removal for -> inferences
#33
kror-shack
closed
1 month ago
1
fix: OOI-4 figure venn diagram
#32
kror-shack
closed
1 month ago
1
feat: option to clear history
#31
kror-shack
closed
1 month ago
1
fix: OEO-2 figure venn diagram
#30
kror-shack
closed
1 month ago
1
Feat/truth fe
#29
kror-shack
closed
2 months ago
1
Fix/ql calculator
#28
kror-shack
closed
2 months ago
1
feat: add non-SFCS note
#27
kror-shack
closed
2 months ago
1
Fix/tree proof
#26
kror-shack
closed
2 months ago
1
Fix/tree proof
#25
kror-shack
closed
2 months ago
1
Feat/extend fol calculator support
#24
kror-shack
closed
2 months ago
1
Fix/venn diagram
#23
kror-shack
closed
2 months ago
1
fix: LS implementation
#22
kror-shack
closed
3 months ago
1
Fix/biconditional logic
#21
kror-shack
closed
3 months ago
1
Refactor code
#20
kror-shack
closed
3 months ago
1
fix: biCond support for ID proof
#19
kror-shack
closed
3 months ago
1
Refactor code
#18
kror-shack
closed
3 months ago
2
Feat/loading indicator
#17
kror-shack
closed
3 months ago
1
Refactor code
#16
kror-shack
closed
3 months ago
1
Feat/history page
#15
kror-shack
closed
3 months ago
1
Update/sidebar
#14
kror-shack
closed
3 months ago
1
Style/update font styles
#13
kror-shack
closed
3 months ago
1
Feat/log args
#12
kror-shack
closed
3 months ago
1
Feat/set symbols
#11
kror-shack
closed
3 months ago
1
Feat/argument error reporting
#10
kror-shack
closed
3 months ago
1
Feat/firebase pages
#9
kror-shack
closed
3 months ago
1
Feat/sidebar
#8
kror-shack
closed
3 months ago
1
Feat/add formdata to url
#7
kror-shack
closed
3 months ago
1
Feat/web workers
#6
kror-shack
closed
3 months ago
1
Feat/toggle font option
#5
kror-shack
closed
3 months ago
1
update: operator list position
#4
kror-shack
closed
3 months ago
1
Implicity uses De Morgan when using inference rules
#3
kror-shack
closed
9 months ago
0
Does not return deduction steps for a valid argument.
#2
kror-shack
closed
11 months ago
1
No difference in display of Existential Instantiations
#1
kror-shack
opened
1 year ago
1