Proofs

Attempts at formalizing theorems in Lean 4 — complete, partial and stuck.

Nothing here yet.