ProofSystem/Encyclopedia — pull request #1 by gisellemnr (2014-12-17 18:12:50+00:00)
Title: Sequent Calculus LJ

Hi Bruno,

These are my commits for the sequent calculus LJ. Let me know if it is according to what you expected or if I should add/remove information.

Thanks for the initiative! I am curious about the final result :)

Best,
Giselle