// Fellowship :: version 0.2.0
// Released July 20th, 2006
// Miscellaneous remarks

Fellowship is a super-prover that enables the simultaneous development of
proof scripts for other provers, such as Coq and PVS.  It implements
first-order sequent calculus with lambda-bar-mu-mu-tilde proof terms. 

Fellowship and its documentation are governed by the CeCILL license under
French law and abiding by the rules of distribution of free software. You can
use, modify and/ or redistribute the software under the terms of the CeCILL
license as circulated by CEA, CNRS and INRIA at the following URL
"http://www.cecill.info". 

This piece of software is a joint work by Florent Kirchner and Claudio
Sacerdoti Coen. Please hit us back with your comments, flames, etc.


// http://www.lix.polytechnique.fr/Labo/Florent.Kirchner/fellowship