LionSR avatar

Lean Vacuity Check

LionSR/is-my-lean-proof-vacuous · 1 plugin

1 plugins

/plugin marketplace add LionSR/is-my-lean-proof-vacuous
GitHub stars★ 1
RepositoryLionSR/is-my-lean-proof-vacuous ↗

Plugins in this marketplace

1 plugin - install individually after you add the marketplace.

PluginVersion
Lean Vacuity CheckDetect vacuous Lean 4 proofs (fake P=NP and friends)0.1.0

Recommended Marketplaces

0xIntuition0xIntuition/Agent Skills1 plugins20Kalin Smolichki1kalin1 plugins1NoBeef11NoBeef1 Marketplace1 plugins7Aaron Tjomsland3 Surgeons Marketplace1 plugins2a5c.aiA5c.Ai1 plugins1.4ka5c.aiA5c.Ai1 plugins
AI Agentsagents
Browse by category
AI & AgentsFrontend & DesignBackend & DataDev ToolsAutomationTesting & ReviewSecurityMonitoring & CloudDocs & Planning
Design & frontend
Design systemsAnimation & motionAccessibility (a11y)CSS & TailwindUI designUXDesign to codeshadcn/uiLanding pagesBest design skills

This week for builders

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

unsubscribe anytime.