best-of-lean4

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

140

GitHub Stars

Curated Resources

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"

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