Lean Vacuity Check

LionSR/is-my-lean-proof-vacuous·by LionSR

Detect vacuous Lean 4 proofs (fake P=NP and friends)

Browse by category

AI & Agents Frontend & Design Backend & Data Dev Tools Automation Testing & Review Security Monitoring & Cloud Docs & Planning

Design & frontend

Design systems Animation & motion Accessibility (a11y)CSS & Tailwind UI design UX Design to code shadcn/ui Landing pages Best design skills

Five minutes, every Monday — the tools, releases and tactics for shipping solo.

unsubscribe anytime.