hanwenzhuLeanArchitect

LeanArchitect extracts a blueprint directly from Lean source.
Displaying 1-2 of 2 packages depending on hanwenzhu/LeanArchitect
Sort by

  1. emilyriehl/InfinityCosmosusesv4.26.0

    A blueprint for a formalization of infinity-cosmos theory in Lean.

  2. AlexKontorovich/PrimeNumberTheoremAndusesv4.28.0

    Blueprint for the PNT+ Project