Skip to content

README.md

Latest commit

 

History

History
19 lines (12 loc) · 702 Bytes

README.md

File metadata and controls

19 lines (12 loc) · 702 Bytes
Raw

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.