Thierry Coquand (1 май 1957 г. – 3 ч 31 мин, 22 июн 2025 г.)
Описание:
Thierry Coquand's work in type theory and constructive mathematics has been influential in the development of formal proof systems such as the Calculus of Inductive Constructions used in the Coq proof assistant software. Coquand's emphasis on the constructive construction of proofs and algorithms has helped shape the way mathematicians approach mathematical problems.Добавлено на ленту времени:
Дата:
1 май 1957 г.
3 ч 31 мин, 22 июн 2025 г.
~ 68 years