Hugo Herbelin

S'il s'agissait de résumer notre projet sous la forme d'un slogan, nous dirions que le code ultime permettant d'interagir avec les assistants à la démonstration doit être la langue naturelle. Atteindre un tel but nécessite des recherches tant appliquées que fondamentales, en mathématiques, en informatique, en logique et en linguistique.