Formalization status

Completion report

Click chapter titles to see missing items.

What to define next?

What to state next?

What to prove next?