Typical
Research topics
Le but des recherches conduites dans l'équipe Typical est de concevoir des assistants à la preuve, c'est-à-dire des systèmes qui permettent de formuler et de prouver formellement des théorèmes mathématiques. De tels systèmes peuvent vérifier qu'une démonstration mathématique ne contient pas d'erreur, aider l'utilisateur à construire une preuve de manière interactive, chercher une preuve automatiquement, stocker les preuves dans une base de donnèes, les transmettre sur Internet, etc.
