Search results

Allow for more input type in Exploration mode

Status: Open.

#34 In turnstilelabs/adjoint;

· dsleo opened on Feb 3, 2026

Add Literature exploration mode

Status: Open.

#32 In turnstilelabs/adjoint;

· dsleo opened on Jan 27, 2026

Add a prompt/model evaluation harness

Status: Open.

#31 In turnstilelabs/adjoint;

· dsleo opened on Jan 27, 2026

Prototype a formal checker backend (Lean4 or Rocq) for extracted artifacts and lemmas

Status: Open.

#30 In turnstilelabs/adjoint;

· dsleo opened on Jan 27, 2026

Add server-side SymPy engine

Status: Open.

#29 In turnstilelabs/adjoint;

· dsleo opened on Jan 27, 2026

Proper display and rendering of full LaTeX documents

Status: Open.

#27 In turnstilelabs/adjoint;

· dsleo opened on Jan 26, 2026

An equivalent of git diff mode when iterating and interacting with a proof?

Status: Open.

#22 In turnstilelabs/adjoint;

· glemaitre opened on Jan 22, 2026

LaTeX align* environment rendering incorrectly in proof view

Status: Open.

#19 In turnstilelabs/adjoint;

· pierrechc opened on Jan 13, 2026