hanwenzhuLeanArchitect

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

  1. emilyriehl/InfinityCosmosusesv4.31.0-rc1

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

  2. AlexKontorovich/PrimeNumberTheoremAndusesv4.30.0

    Blueprint for the PNT+ Project