Open
QED
Docs
Leaderboard
Sign in
Back to problems
Hadamard Conjecture
A Hadamard matrix of order n exists for every n divisible by 4.
Problem
Lean 4
Formalization
Overview
Preliminaries & Notation
References
Sign in to contribute