Search results

Having trouble updating Paperproof

Status: Open.

#65 In Paper-Proof/paperproof;

· DillonWalsh opened on Dec 6, 2025

Make it explicit what's currently loading in codespaces

Status: Open.

#64 In Paper-Proof/paperproof;

· lakesare opened on Nov 16, 2025

Improve UX by simulating canvas navigation

Status: Open.

#60 In Paper-Proof/paperproof;

· Splines opened on Jul 10, 2025

Import Paperproof globally

Status: Open.

#59 In Paper-Proof/paperproof;

· Splines opened on Jul 10, 2025

IntelliSense for parameters/expressions

Status: Open.

#58 In Paper-Proof/paperproof;

· Splines opened on Jul 10, 2025

Allow font-size increase/decrease

Status: Open.

#57 In Paper-Proof/paperproof;

· Splines opened on Jul 10, 2025

Lean becomes unresponsive due to many concurrent <code>getSnapshotData</code> requests

Status: Open.

#51 In Paper-Proof/paperproof;

· Aaron1011 opened on Oct 12, 2024

Render hypotheses &amp; goals in Latex

Status: Open.

#50 In Paper-Proof/paperproof;

· lakesare opened on Oct 4, 2024

Project: Integrate Paperproof with Neovim/Emacs

help wanted

Status: Open.

#49 In Paper-Proof/paperproof;

· lakesare opened on Aug 27, 2024

Project: Integrate Paperproof with Coq

help wanted

Status: Open.

#48 In Paper-Proof/paperproof;

· lakesare opened on Aug 27, 2024

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

Status: Open.

#37 In Paper-Proof/paperproof;

· antonkov opened on Feb 12, 2024

Syntax assigned to tactic is incorrect

Status: Open.

#33 In Paper-Proof/paperproof;

· antonkov opened on Jan 4, 2024