@MoreAnonymous New stack exchange for computer-assisted proofs! Please use my referral link and join the Private Beta!

@NikeDattani @NikeDattani I don't have the programming skills nor any proof thats worth being computer verified :/ But thanks for the invitation and thought :)