Skip to content

Navigation Menu

Sign in
Appearance settings
Paper-Proof

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly
Appearance settings
@Paper-Proof

Paperproof

VSCode extension that displays Lean proofs as proof trees.

Pinned Loading

  1. paperproof paperproof Public

    Lean theorem proving interface which feels like pen-and-paper proofs.

    TypeScript 537 17

Repositories

Loading
Type
Select type
Language
Select language
Sort
Select order
Showing 1 of 1 repositories

Top languages

Loading…

Most used topics

Loading…
Morty Proxy This is a proxified and sanitized view of the page, visit original site.