Repository Index

High level commands to declare a hierarchy based on packed classes

• mathcomp
• coq
• elpi

The formal proof of the Odd Order Theorem

• coq
• ssreflect
• mathcomp
• feit-thompson-theorem