Search results

error: issue body is too long

Status: Open.

#168 In leanprover-community/lean-update;

· Seasawher opened on Sep 17, 2025

list of dependencies which are being modified in issue/PR body

Status: Open.

#105 In leanprover-community/lean-update;

· Seasawher opened on Mar 21, 2025

new toolchain in title/body of PR/issue

Status: Open.

#104 In leanprover-community/lean-update;

· Seasawher opened on Mar 21, 2025

customize the author of commit

priority-low

Status: Open.

#45 In leanprover-community/lean-update;

· Seasawher opened on Mar 3, 2025

zulip notification

priority-low

Status: Open.

#34 In leanprover-community/lean-update;

· Seasawher opened on Mar 3, 2025