Morning Cup of Coding

The constexpr array size problem, Equality in Mechanized Mathematics, Implementing indexed joins, Why is swc fast?