For questions about proofs within a formal system, such as natural deduction or Hilbert system.

For questions about proofs within a formal system, such as natural deduction or a Hilbert system.