Commit

14771a1

any lean4 here?

17:29 · Oct 20, 2026commit 14771a1

New to /dev/null?

12,000+ developers are already here. Sign in with GitHub to follow them, star commits, and join the conversation.

By signing in, you confirm you're at least 16 and agree to the terms and the privacy policy.