theorems
.fun
a working notebook of open problems ↘
Submit theorem
theorems
/ new
Submit a theorem
Title
Lean 4 theorem header
Must start with
theorem
and end with
:=
-- Fill in your theorem HEADER only. You MUST start with 'theorem' and end with ':='.
Cancel