m∀thl∃ss.lean

The website for m∀thl∃ss.lean, a virtual conference celebrating and exploring the Lean4 community's contributions to secure program synthesis. Math is made of tokens, which we can use for something else.

Coming to a Discord server near you in July 2026. Email quinn at for-all.dev to help or hinder.

Stack

• Next.js App Router with MDX for prose (content.mdx is rendered inside app/page.tsx).
• Tailwind CSS via @tailwindcss/postcss.
• Geist / Geist Mono via next/font.

Development

npm run dev

Open http://localhost:3000. Edit content.mdx for prose, app/page.tsx for the hero, and app/layout.tsx for metadata.