User:FreeChief

This is the user page for the Programmer in Chief. Does it work? Programmer in Chief (talk) 07:38, 18 February 2011 (UTC)

$$ Axiom\quad {A \leftarrow A} $$

$$ Cut \quad {C \leftarrow \Delta A \Delta' \qquad A \leftarrow \Gamma \over C \leftarrow \Delta \Gamma \Delta'} $$