Silenced the non uniform inheritance warning
+ 1 occurrence of :> -> ::
Showing
- CaseStudies/Exploration/ImpossibilityKDividesN.v 9 additions, 9 deletionsCaseStudies/Exploration/ImpossibilityKDividesN.v
- CaseStudies/Gathering/Impossibility.v 1 addition, 1 deletionCaseStudies/Gathering/Impossibility.v
- CaseStudies/Gathering/InR2/Peleg.v 2 additions, 1 deletionCaseStudies/Gathering/InR2/Peleg.v
Loading
Please register or sign in to comment