Skip to content

History

Revisions

  • Clarify usage of `Lemma` vs `Theorem`

    @aria-eide aria-eide committed Oct 23, 2025
    a06934f

  • `rewrite` tactic

    @aria-eide aria-eide committed Oct 17, 2025
    62720d6

  • Updated Style Guide (markdown)

    @voiestad voiestad committed Oct 15, 2025
    18dff66

  • Definitions and proofs (and syntax highlighting)

    @aria-eide aria-eide committed Oct 13, 2025
    c364203

  • Add initial Style Guide

    @voiestad voiestad committed Oct 10, 2025
    798bcfa

  • Initial Home page

    @voiestad voiestad committed Oct 10, 2025
    02494df