Michel Lévy

Natural deduction corner : Theorems provers and Documents

Tableaux Method for modal logic S4 : Prover for S4

Tableaux Method for intuitionistic logic : Prover for Intuitionistic logic

email : Michel.Levy_at_imag.fr

Last modified : 19-Apr-2012