issues
search
pkshashank
/
GFLeanTransfer
Creative Commons Zero v1.0 Universal
7
stars
0
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Left associativity of logical operators is not implemented as well.
#10
pkshashank
closed
7 months ago
1
Assumption splitting
#9
pkshashank
closed
7 months ago
1
Logical precedence is not implemented.
#8
pkshashank
closed
7 months ago
1
Left associativity is not implemented
#7
pkshashank
closed
7 months ago
1
Prepreocessing
#6
pkshashank
closed
8 months ago
1
Using ( , ) for disambiguation of symbolic expressions
#5
pkshashank
closed
8 months ago
1
GFLean puts extra referrents
#4
pkshashank
closed
8 months ago
1
Quantifiers in predicate are not supported
#3
pkshashank
closed
8 months ago
1
Sentences which are type definitions with a modifier are not translated
#2
pkshashank
closed
9 months ago
1
Simplification of assumptions doesn't lead to variable unification because it happens first
#1
pkshashank
closed
9 months ago
1