Bump rpylean to v2026.4.3#40

nomeata merged 1 commit into

leanprover:masterleanprover/lean-kernel-arena:masterfrom

Julian:bump-rpylean-v2026.4.3Julian/lean-kernel-arena:bump-rpylean-v2026.4.3Copy head branch name to clipboard