Due to French legislation KiF source code is distributed under agreement of a License.
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:
Centre de Recherche INRIA Nancy Grand Est
615, rue du Jardin Botanique
54600 - VILLERS-LES-NANCY
Afterwards, access to the project will be granted to you.