Skip to the content.

Displayed Categories in Lean 4

by Sina Hazratpour

Blueprint (web) Documentation GitHub

Useful links:

Zulip chat for Lean for coordination
Blueprint
Blueprint as pdf
Dependency graph
Doc pages for this repository

displayed_categories is maintained by Sina Hazratpour. Visit the GitHub repository for more information.