Module theorem 

Theorem and proof block AST types.

This module defines the AST for theorem blocks in the vernacular proof language:

## Theorem: Socrates_Mortality
Given: All men are mortal.
Given: Socrates is a man.
Prove: Socrates is mortal.
Proof: Auto.

Key Types

• TheoremBlock: Contains premises, goal, and proof strategy
• ProofStrategy: How to prove (Auto, Manual, By lemmas)

Structs

TheoremBlock

A theorem block containing premises, goal, and proof strategy.

Enums

ProofStrategy

Proof strategies for theorem verification.