search

meta-logic / sellf

SubExponential Linear Logic Framework for reasoning about sequent calculus systems
7 stars 2 forks source link

TATU: download proofs #3

Open gisellemnr opened 9 years ago

gisellemnr commented 9 years ago

Currently the system generates latex files with the coherence proofs of a proof system. We should make them available for download on the online tool.

gisellemnr commented 7 years ago

@leonardolima this is already implemented, right? If so, can you close this ticket please?

leonardolima commented 7 years ago

@gisellemnr I'm sorry for the late response. Actually, I've implemented this only for Quati. This issue is on my to do list, along with all the things that we have already discussed. As soon as this semester ends (in just a few weeks) I will start to work again :)