3 citations · 5 across the 2 of their papers we have counts for
1 paper · 1 filter
Laurent Thery
This report presents a formalisation of Sylow's theorems done in {\sc Coq}. The formalisation has been done in a couple of weeks on top of Georges Gonthier's {\sc ssreflect} \cite{…