search

meta-logic / lltp

TPTP linear logic version
GNU General Public License v3.0
13 stars 2 forks source link

Submission process #3

Closed olaure01 closed 5 years ago

olaure01 commented 5 years ago

As I asked @carlosolarte what is the process if I want to suggest additional problems? Should I use pull requests or could you add me to the contributors?

gisellemnr commented 5 years ago

I have added you to the organization as a member of lltp. Let me know if you cannot push to the repo.