The formal-proof tag currently has no tag wiki. In my opinion this might invite people to use the tag for any question asking for a (more or less formal) proof. Very similar to the way the proof tag was used before it got removed and blacklisted. My personal assumption, however, was that formal-proof is more likely intended for questions on a way more formal level, where you are considering a strict formalism and how to perform low-level steps in a formal proof.
- Do you agree that formal-proof is not intended for any question where a proof is required, but only for questions where the formalization plays a major part?
- How does the tag differ from proof-theory? Is it that formal-proof is intended for questions about a specific proof, while proof-theory is on the meta level, speaking about (a family of) proofs?
- Do you have a specific wording to suggest for the tag wiki?