Documentation

Mathlib.Tactic.Explode.Pretty

Explode command: pretty #

This file contains UI code to render the Fitch table.

Given a list of MessageDatas, make them of equal length. We need this in order to form columns in our Fitch table.

padRight ["hi", "hello"] = ["hi   ", "hello"]
Instances For

    Render a particular row of the Fitch table.

    Equations
    Instances For

      Given all Entries, return the entire Fitch table.

      Instances For