proofdisplay
HOL Light tactic proof displayer
Work in progress toward a more human-friendly displayer for tactic proofs for HOL Light.
More to be said ...
HOL Light tactic proof displayer
Work in progress toward a more human-friendly displayer for tactic proofs for HOL Light.
More to be said ...