Proofs are one of the defining features of mathematical content: practically any mathematical work is considered incomplete without a proof. A “proof” of a mathematical fact is a clear explanation of why the fact is true, starting from some previous known facts and agreed-upon definitions. When I initially started up Groupprops, my idea was to […]