Pull requests · leanprover/lean-workbench · GitHub

New pull request New

2 Open 15 Closed

#14 opened May 6, 2026 by Vtec234 Member

Loading…

1 task

3

ProTip! What’s not been updated in a month: updated:<2026-04-15.