Home

Awesome

A Constructive Mechanization of Kripke-Curry's method for the Decidability of Implicational Relevance Logic

    (**************************************************************)
    (*   Copyright Dominique Larchey-Wendling [*]                 *)
    (*                                                            *)
    (*                             [*] Affiliation LORIA -- CNRS  *)
    (**************************************************************)
    (*      This file is distributed under the terms of the       *)
    (*         CeCILL v2 FREE SOFTWARE LICENSE AGREEMENT          *)
    (**************************************************************)

What is this repository for?

How do I get a set up?