Closed SimonGuilloud closed 9 months ago
Some improvements to pretty printing, Lattice example (proof about lattice and Whitman-based tactic) and solutions re put in lisa-examples.
Some improvements to pretty printing, Lattice example (proof about lattice and Whitman-based tactic) and solutions re put in lisa-examples.