Issues

• Github Codespaces: no CSS

  Paper-Proof/paperproof#73 · Filter by author lakesare opened on Jun 9, 2026

• "No RPC method 'getSnapshotData' found"

  Paper-Proof/paperproof#72 · Filter by author ghost opened on Apr 14, 2026
  3

• Paperproof Extension Not Functioning Within Cursor

  Paper-Proof/paperproof#68 · Filter by author Oren-H opened on Feb 20, 2026
  2

• Make it explicit what's currently loading in codespaces

  Paper-Proof/paperproof#64 · Filter by author lakesare opened on Nov 16, 2025

• IntelliSense for parameters/expressions

  Paper-Proof/paperproof#58 · Filter by author Splines opened on Jul 10, 2025
  1

• Lean becomes unresponsive due to many concurrent getSnapshotData requests

  Paper-Proof/paperproof#51 · Filter by author Aaron1011 opened on Oct 12, 2024
  2

• Project: Integrate Paperproof with Neovim/Emacs

  help wanted
  Paper-Proof/paperproof#49 · Filter by author lakesare opened on Aug 27, 2024

• Project: Integrate Paperproof with Coq

  help wanted
  Paper-Proof/paperproof#48 · Filter by author lakesare opened on Aug 27, 2024

• Parser can be optimized further by separating pretty-print and tree construction into two different stages

  Paper-Proof/paperproof#37 · Filter by author antonkov opened on Feb 12, 2024
  

• Syntax assigned to tactic is incorrect

  Paper-Proof/paperproof#33 · Filter by author antonkov opened on Jan 4, 2024
  

• lean - theorem from mathlib that doesn't fully work

  Paper-Proof/paperproof#25 · Filter by author lakesare opened on Oct 12, 2023
  2

  

• extension - we want types from vscode-lean4

  Paper-Proof/paperproof#17 · Filter by author lakesare opened on Jul 20, 2023