hanwenzhuLeanArchitect

LeanArchitect extracts a blueprint directly from Lean source.
Displaying 1-3 of 3 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. raphaelrrcoelho/MathFinusesv4.30.0

    Formally verified mathematical finance in Lean 4. Black–Scholes/Greeks/PDE, Itô calculus, FTAP/Girsanov, CRR→BS convergence, Merton jump-diffusion.

  3. AlexKontorovich/PrimeNumberTheoremAndusesv4.31.0

    Blueprint for the PNT+ Project