Search results

Uncompatible lean version for different libraries

Status: Open.

#125 In leanprover-community/repl;

· MarkJYC001 opened on Aug 11, 2025

[proposal]Make request parsing more robust

Status: Open.

#122 In leanprover-community/repl;

· Qiu233 opened on Jul 15, 2025

Want to parse ast even in invalid proof.

Status: Open.

#118 In leanprover-community/repl;

· shanjiaming opened on Jul 6, 2025

Lean Repl unable to run with canonical

Status: Open.

#115 In leanprover-community/repl;

· FrederickPu opened on Jul 1, 2025

Local instances not captured correctly in term sorries

Status: Open.

#107 In leanprover-community/repl;

· augustepoiroux opened on Jun 27, 2025

[feature request] Option for pickling imported environment completely, not just diff from imports - so that they can be recovered fast in one command without re-doing the fully-fledged imports

Status: Open.

#95 In leanprover-community/repl;

· vadimkantorov opened on Apr 29, 2025

[feature request] Built-in command timeout support

Status: Open.

#94 In leanprover-community/repl;

· vadimkantorov opened on Apr 29, 2025

CPU usage

Status: Open.

#91 In leanprover-community/repl;

· vadimkantorov opened on Apr 22, 2025

Fork safety

Status: Open.

#87 In leanprover-community/repl;

· vadimkantorov opened on Apr 18, 2025

How to solve the input issue of the v4.8 repl server?

Status: Open.

#86 In leanprover-community/repl;

· Kouer-www opened on Apr 17, 2025

Server mode

Status: Open.

#84 In leanprover-community/repl;

· vadimkantorov opened on Apr 15, 2025

INTERNAL PANIC: Error when Pickling Proof State

Status: Open.

#81 In leanprover-community/repl;

· RexWzh opened on Apr 7, 2025