Skip to main content
Context Awesome

best-of-lean4

github.com/34j/best-of-lean4 ↗

A list of awesome lean4 projects. Feel free to add your project.

134
GitHub Stars
30
Curated Resources
11
Categories
21 hours ago
Last Refreshed
CheatsheetsTutorialsSamplesPackages (Meta)PackagesCore packagesGamesToolsOther awesome listsRelated ResourcesContribution

Use this list with your AI agent

Add the Context Awesome MCP server to Claude, Cursor, or any MCP client, then ask:

"Show me related resources resources from best-of-lean4"

Installation instructions →

What's inside

Related Resources

Cheatsheets

Tutorials

Other awesome lists

Packages

  • GitHub

    52% open · ⏱️ 17.04.2026):

  • GitHub

    42% open · ⏱️ 28.05.2026):

  • GitHub

    55% open · ⏱️ 18.02.2026):

Core packages

  • GitHub

    33% open · ⏱️ 01.06.2026):

  • GitHub

    30% open · ⏱️ 28.05.2026):

  • GitHub

    27% open · ⏱️ 28.05.2026):

  • GitHub

    60% open · ⏱️ 28.05.2026):

  • GitHub

    29% open · ⏱️ 04.06.2026):

  • GitHub

    45% open · ⏱️ 04.06.2026):

Tools

  • GitHub

    6% open · ⏱️ 18.01.2026):

  • GitHub

    18% open · ⏱️ 29.05.2026):

  • GitHub

    7% open · ⏱️ 02.06.2026):

  • GitHub

    20% open · ⏱️ 30.05.2026):

  • GitHub

    13% open · ⏱️ 26.05.2026):

  • GitHub

    28% open · ⏱️ 08.04.2026):

Games

  • GitHub

    34% open · ⏱️ 23.05.2026):

Showing a sample of 30 resources. View the full list on GitHub →