Skip to content
Leanbump
Scan a project
Rename lookup
Benchmark
Pricing
Docs
Sign in
Your projects
Signed in as
·
Sign out
Add a project: public GitHub address
Add project
Tell us what you need next
What is the one thing about Mathlib bumps you would pay to stop doing by hand?
Send
Your data
Export everything as JSON
Delete your account, projects and scans. Type your email to confirm.
Delete my account