meta-logic lltp issues - Githubissues

meta-logic / lltp

TPTP linear logic version

GNU General Public License v3.0

13 stars 2 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

minor clarifications

#6 vcvpaiva closed 4 years ago
4
New planning problems

#5 gisellemnr opened 5 years ago
0
Benchmark structure

#4 olaure01 closed 5 years ago
6
Submission process

#3 olaure01 closed 5 years ago
1
Syntax for units and negation

#2 olaure01 closed 5 years ago
14
Girard translation, Kleene problems/theorems

#1 vcvpaiva closed 5 years ago
0