/proofdisplay

HOL Light tactic proof displayer

Primary LanguageOCaml

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 ...