Set proof steps for template

Set proof steps for template

Usage

set_proof_steps(template, steps)

Arguments

template

A Template object

steps

List of proof step strings (LaTeX)

Value

The Template object