Skip to content

Paperproof v1.0.0
Compare
Choose a tag to compare
@lakesare lakesare released this 13 Jan 09:27
· 155 commits to main since this release
v1.0.0
4484624
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Learn about vigilant mode.

Changes:

  • Paperproof works offline now, too

  • Tactic combinators get properly displayed

  • Added various modes that change how the proof is displayed: compact mode, compact tactics mode, readonly mode
    image

  • Upon right-clicking on a particular box, you can collapse it now
    image

  • Hypotheses have grey, yellow, and green colors - grey ones is sorts which we do not show; yellow ones is data; green ones is proofs
    image

In general - Paperproof was fully rewritten (we went from Tldraw to vanilla React). Interaction with Paperprooof feels different now, it's just a normal webpage that you can scroll around.

Assets 2
Loading