/doc/sphinx/proofs/

• ../
• automatic-tactics
• creating-tactics
• writing-proofs