hanwenzhuLeanArchitect

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

  1. AlexKontorovich/PrimeNumberTheoremAndusesv4.26.0

    blueprint for prime number theorem and more