fKenzo

fKenzo: a user interface for computations in algebraic topology. fKenzo is an integral assistant for research in (a subset of) Algebraic Topology. The ”integral” adjective means that this assistant not only provides a graphical interface for using a computational kernel (Kenzo), but also guides the user in his interaction with the system, and as far as possible, produces certificates about the correctness of the computations per- formed.