%0 Journal Article
%A Lescanne, Pierre
%T Almost All Classical Theorems Are Intuitionistic
%J RAIRO. Theoretical Informatics and Applications
%D 2022
%V 56
%I EDP-Sciences
%U https://www.numdam.org/articles/10.1051/ita/2022009/
%R 10.1051/ita/2022009
%G en
%F ITA_2022__56_1_A9_0