4 ms·Isn't it the same thing that guys at INRIA with COQ are trying to do since ages ?by dnpp123 7y agoIsn't it the same thing that guys at INRIA with COQ are trying to do since ages ?