Collection of Ltac and proving methodologies to create a simpler and more unified proving experience
Long term goals would be to add more math structures (group, sets, rings) with different features (decEq, predicativity, ...)
Please feel free to add and PR