Getting KiF

KiF is free

Due to French legislation KiF source code is distributed under agreement of a License.

You can download the licence from here (English version and French version).

Once you fill the License you should:

  • Create an user account in http://gforge.inria.fr/
  • Send the License (together with your gforge user name) to us via Ground mail to:

    • Radu State
    Centre de Recherche INRIA Nancy Grand Est
    615, rue du Jardin Botanique
    54600 - VILLERS-LES-NANCY
    FRANCE

  • Afterwards, access to the project will be granted to you.