leanprover-community/repl

GitHub で見る

A simple REPL for Lean 4, returning information about errors and sorries.

スター: 228
フォーク: 71
オープンの初心者向け issue: 1
索引済み issue: 26
平均マージ: 15分
マージ済み PR（30日）: 4

主要言語: Lean
ライセンス: Apache-2.0
最終 GitHub push: 2026年9月16日
最新の索引: 2026年9月18日
コントリビューションガイド: コントリビューションガイドがありません
行動規範: 行動規範がありません
初心者向けラベル: 初心者向けラベルは索引されていません

初心者向けすべて

オープンすべて

オープンの issue を 26 件索引しました

proofStep discards the message log on failure, so elaboration errors surface only as `internal exception #N` オープン

難易度 2/5 1〜3時間初心者へのやさしさ 76/100

leanprover-community/repl#164 · 2026年8月8日に作成
Uncompatible lean version for different libraries オープン

難易度 4/5 3〜5日初心者へのやさしさ 35/100

leanprover-community/repl#125 · コメント 1 件 · 2025年8月11日に作成
[proposal]Make request parsing more robust オープン

難易度 5/5 1週間以上初心者へのやさしさ 35/100

leanprover-community/repl#122 · 2025年7月15日に作成
Want to parse ast even in invalid proof. オープン

難易度 5/5 1週間以上初心者へのやさしさ 25/100

leanprover-community/repl#118 · 2025年7月6日に作成
Lean Repl unable to run with canonical オープン

難易度 4/5 3〜5日初心者へのやさしさ 35/100

leanprover-community/repl#115 · コメント 16 件 · 2025年7月1日に作成
Local instances not captured correctly in term sorries オープン

難易度 3/5 1〜2日初心者へのやさしさ 45/100

leanprover-community/repl#107 · 2025年6月27日に作成
[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 オープン

難易度 5/5 1週間以上初心者へのやさしさ 25/100

leanprover-community/repl#95 · リアクション 2 件 · 2025年4月29日に作成
[feature request] Built-in command timeout support オープン

難易度 5/5 1週間以上初心者へのやさしさ 35/100

leanprover-community/repl#94 · コメント 1 件 · 2025年4月29日に作成
CPU usage オープン

難易度 5/5 1週間以上初心者へのやさしさ 25/100

leanprover-community/repl#91 · コメント 1 件 · 2025年4月22日に作成
Fork safety オープン

難易度 5/5 1週間以上初心者へのやさしさ 35/100

leanprover-community/repl#87 · コメント 2 件 · リアクション 1 件 · 2025年4月18日に作成
How to solve the input issue of the v4.8 repl server? オープン

難易度 4/5 3〜5日初心者へのやさしさ 25/100

leanprover-community/repl#86 · コメント 1 件 · 2025年4月17日に作成
Server mode オープン

難易度 5/5 1週間以上初心者へのやさしさ 25/100

leanprover-community/repl#84 · コメント 12 件 · 2025年4月15日に作成
INTERNAL PANIC: Error when Pickling Proof State オープン

難易度 4/5 3〜5日初心者へのやさしさ 35/100

leanprover-community/repl#81 · 2025年4月7日に作成
LeanRepl terminates trying to run large amounts of commands on a single LeanRepl instance オープン

難易度 4/5 3〜5日初心者へのやさしさ 35/100

leanprover-community/repl#77 · コメント 29 件 · 2025年3月29日に作成
information returned by repl is inconsistent with the information returned by lean info. オープン

難易度 4/5 3〜5日初心者へのやさしさ 25/100

leanprover-community/repl#76 · コメント 4 件 · 2025年3月4日に作成
pattern-matching in theorem signature causes `unknown constant 'foo.match_1'` オープン

難易度 3/5 1〜2日初心者へのやさしさ 35/100

leanprover-community/repl#66 · コメント 1 件 · 2025年1月8日に作成
Pickling-unpickling an environment makes definitions noncomputable? オープン

難易度 4/5 3〜5日初心者へのやさしさ 35/100

leanprover-community/repl#62 · 2024年12月15日に作成
Goals of tactics often lose line breaks オープン

難易度 3/5 1〜2日初心者へのやさしさ 45/100

leanprover-community/repl#58 · 2024年10月12日に作成
[Question] (automatically) Including imports オープン

難易度 5/5 1週間以上初心者へのやさしさ 25/100

leanprover-community/repl#53 · 2024年8月9日に作成
[BUG] REPL accepts incorrect proofs オープン

難易度 4/5 3〜5日初心者へのやさしさ 45/100

leanprover-community/repl#44 · コメント 36 件 · 2024年5月29日に作成
Issues while executing tactics with `;` in them. オープン

難易度 3/5 1〜2日初心者へのやさしさ 45/100

leanprover-community/repl#43 · コメント 2 件 · 2024年5月27日に作成
Bugs for metavariable '?[anonymous]' when setting "allTactics" as true オープン

難易度 4/5 3〜5日初心者へのやさしさ 25/100

leanprover-community/repl#42 · コメント 2 件 · 2024年5月26日に作成
Failed to input the tactics step-by-step within a case block オープン

難易度 3/5 1〜2日初心者へのやさしさ 35/100

leanprover-community/repl#25 · コメント 3 件 · 2023年12月18日に作成
Repl doesn't return any output? オープン

難易度 3/5 1〜2日初心者へのやさしさ 35/100

leanprover-community/repl#16 · コメント 7 件 · 2023年10月30日に作成
Iterative execution of proofs オープン

難易度 5/5 1週間以上初心者へのやさしさ 35/100

leanprover-community/repl#6 · コメント 2 件 · 2023年5月2日に作成
Sorry reporting should pick up term mode sorries as well. オープン

難易度 4/5 3〜5日初心者へのやさしさ 35/100

leanprover-community/repl#4 · 2023年4月4日に作成

leanprover-community/repl

新しい issue をメールで受け取る