3 ms·Wait till the GGP hears about the CoqHOTT project and sees its logo...by theoh 10y agoWait till the GGP hears about the CoqHOTT project and sees its logo...