hanwenzhuLeanArchitect

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

  1. AlexKontorovich/PrimeNumberTheoremAndusesv4.28.0-rc1

    Blueprint for the PNT+ Project