A Formally Verified Certificate Proof of the Maximum Number of Stable Matchings for Six Men and Six Women

Contributed by YURAN XIU

Source files