Skip to content

Paperproof v2.7.0

Choose a tag to compare

View all tags
@lakesare lakesare released this 16 Nov 20:42
· 29 commits to main since this release
v2.7.0
16b52d0

Overview

In this release Paperproof finally gets its own domain, paperproof.xyz, with two accompanying features - snapshots and natural-language proof renderer.

Added

  • Snapshots
    You can now create a snapshot of any proof, and get a shareable link.
    For example, here is what we get by snapshotting the proof below: paperproof.xyz/b7f2e8b00caf0e63.

    image

  • Renderer
    Go to paperproof.xyz, paste any json, and get a paperproof tree rendered.
    This is a bit raw in its current state, but the idea is that eventually we should be able to render any natural-language proof in paperproof notation.

Assets 2
Loading