Why effective proof tool support for Z is hard

Similar Items

• Why are proof complexity lower bounds hard?
  by: Pich, J, et al.
  Published: (2020)
• A Tutorial on Proof in Standard Z
  by: Brien, S, et al.
  Published: (1995)
• Advanced Proof Viewing in ProofTool
  by: Tomer Libal, et al.
  Published: (2014-10-01)
• Reasons for hardness in QBF proof systems
  by: Beyersdorff, O, et al.
  Published: (2020)
• Beyond natural proofs: Hardness magnification and locality
  by: Chen, L, et al.
  Published: (2020)