Skip to content

Latest commit

 

History

History
24 lines (12 loc) · 284 Bytes

SCREENSHOTS.md

File metadata and controls

24 lines (12 loc) · 284 Bytes

Screenshots

Autocomplete

Autocomplete

Syntax

Preamble

Preamble

Rules

Rules

Axioms / Lemmas

Lemmas

Menu Options

Menu