issues
search
wo
/
tpg
Tree Proof Generator
GNU General Public License v3.0
156
stars
20
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Wrong/no countermodel found for simple ∃∀ CNF
#30
wo
closed
4 months ago
0
wrong proof? [because of variable aliasing]
#29
Jean-Luc-Picard-2021
closed
5 months ago
1
browser freeze McCune group example
#28
Jean-Luc-Picard-2021
opened
7 months ago
2
TPG should not allow nested quantifiers with the same variable.
#27
CCHeckman
closed
7 months ago
2
modelfinder finds faulty countermodel (equality)
#26
wo
opened
9 months ago
4
S4 Formula Infinite Loop Bug
#25
hebozhe
closed
10 months ago
2
Symbols used in first order logic
#24
d-ataman
opened
1 year ago
1
Tool doesn't find proof [Pairing implies Singleton]
#23
Jean-Luc-Picard-2021
closed
1 year ago
11
The converse Buridan formula is shown to be invalid
#22
MichaelRushton
closed
1 year ago
1
Strange tendency to turn the Drinker Paradox into a Russell Paradox
#21
Jean-Luc-Picard-2021
closed
7 months ago
1
Feature Request: Variable Domain Semantics
#20
beaubranson
opened
2 years ago
1
Feature request: persistency aka monotonic accessibility checkbox
#19
Jean-Luc-Picard-2021
closed
7 months ago
5
documentation says that '+' is a valid function symbol, but it's not
#18
medovina
closed
2 years ago
1
Top and bottom constants
#17
Lev135
opened
2 years ago
2
Difference between `reflexive, symmetric, transitive` vs `universal` accessibility constraints?
#16
simonaslaurinavicius
closed
2 years ago
6
Feature request, timing in milliseconds
#15
Jean-Luc-Picard-2021
closed
7 months ago
0
Valid formula for which the proof can't be constructed due to `TypeError`
#14
simonaslaurinavicius
closed
2 years ago
1
Example that sends tree tool into nirwana
#13
Jean-Luc-Picard-2021
closed
7 months ago
3
Parsing problems equality and numbers
#12
Jean-Luc-Picard-2021
closed
2 years ago
7
Does the tree tool search shortest proofs?
#11
Jean-Luc-Picard-2021
closed
7 months ago
2
Feature request TPTP Syntax short cuts
#10
Jean-Luc-Picard-2021
closed
2 years ago
1
Feature request more infix operators
#9
Jean-Luc-Picard-2021
closed
1 year ago
7
Counter model without total function
#8
Jean-Luc-Picard-2021
closed
2 years ago
2
pv¬p doesn't work
#7
falvear210
closed
3 years ago
3
Seems to have a new problem on iOS
#6
feggleaves
closed
3 years ago
3
Feature request prefix "|="
#5
ghost
closed
4 years ago
1
Erratic behaviour for first order formula
#4
mereolog
closed
3 years ago
8
Proofs take significantly more time on Chrome than on Firefox
#3
mr-frying-pan
closed
4 years ago
1
Can't run locally
#2
TheOneAndOnlyGarcia
opened
4 years ago
8
Validity of some weak syllogisms?
#1
shi-rudo
closed
4 years ago
2