I am always confused with should I capitalize something or not. Take the talk by Jeremy Avigad for instance, on page 8, he uses "Formal methods" and "Interactive theorem proving", but not capitalization for "verified proof" and "formal search."
My understanding is that we should capitalize the first letter of the items which are sentences. If the item is just a short word, we should not capitalize it. However, my minds fail here. Could anyone give me some help with better rules about when to use capitalization? I always cannot decide on capitalization for presentation. For example, if I write something in a textbox of PowerPoint, should I capitalize the first letter?