Typical
Research topics
The goal of the research conducted in the TypiCal project is to construct proof processing systems, i.e. systems that are able to process mathematical knowledge. Such a system can verify that a proof does not contain any error, it can help the users to construct proofs in an interactive way, search proofs automatically, store proofs in bases, transmit them on the net, ...
