LeanArchitect
LeanArchitect extracts a blueprint directly from Lean source.
1-1 of 1 packages depending on hanwenzhu/LeanArchitect
Sort by
Package Name
AlexKontorovich/PrimeNumberTheoremAnduses
07f0b8cBlueprint for the PNT+ Project
LeanArchitect07f0b8c