leanproververso

Lean documentation authoring tool
Displaying 1-15 of 15 packages depending on leanprover/verso
Sort by

  1. teorth/Analysisusesb6a5bac

    A Lean companion to Analysis I

  2. mattrobball/BridgelandStabilityusesv4.29.0

  3. marozols/CliffordProjectusesv4.31.0

    Lean formalization of the structure theorem for the single-qudit Clifford group

  4. leanprover-cookbook/Cookbookusesv4.28.0

    A cookbook for Metaprogramming in Lean4 containing code snippets to help you code!

  5. lexzaiello/Dccuses75d1864

    The dependently-typed combinator calculus (DCC).

  6. kim-em/Hexusesv4.32.0-rc1

    Verified computational algebra in Lean 4 — polynomial factoring, LLL, and friends

  7. LeanMachineLearning/LeanMachineLearninguseslatest

    The Lean Machine Learning Library

  8. alok/LeanPlotusesv4.32.0-rc1

    Interactive React-powered charting library for Lean 4 in VS Code's infoview

  9. pandaman64/LeanToDousesv4.27.0

  10. lean-phys-community/Notesusesv4.19.0

    Notes in PhysLean

  11. Beneficial-AI-Foundation/NumpySpecuses0ce8d97

    numpy -> lean 4 through ai

  12. leanprover/verso-manualusesf6512cf

    The Lean reference manual

  13. lean-ja/verso-manualuses7d3a46e

    「The Lean Language Reference」の日本語訳（作業中）

  14. leanprover/verso-slidesuseslatest

  15. leanprover/versowebcomponentsusesv4.32.0-rc1

    A collection of reusable components from the Lean website designed build related sites with the same look and feel.