leanproververso

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

  1. teorth/Analysisusesb6a5bac

    A Lean companion to Analysis I

  2. powdr-labs/apc-optimizerusesv4.30.0-rc1

  3. mattrobball/BridgelandStabilityusesv4.33.0

  4. marozols/CliffordProjectusesv4.31.0

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

  5. leanprover-cookbook/Cookbookusesv4.28.0

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

  6. lexzaiello/Dccuses75d1864

    The dependently-typed combinator calculus (DCC).

  7. kim-em/Hexusesv4.34.0

    Development monorepo for Hex: verified computational algebra in Lean 4 (polynomial factoring, LLL, and friends). Released aggregate: https://github.com/leanprover/hex

  8. shosonoda/lean-ridgeletusesv4.32.0

    Lean formalization and Blueprint for integral-representation neural networks and ridgelet transforms

  9. LeanMachineLearning/LeanMachineLearningusesv4.35.0-rc2

    The Lean Machine Learning Library

  10. pandaman64/LeanToDousesv4.27.0

  11. lean-phys-community/Notesusesv4.19.0

    Notes in PhysLean

  12. Beneficial-AI-Foundation/NumpySpecuses0ce8d97

    numpy -> lean 4 through ai

  13. plclub/SFLuses17c820e

    Development repo for translating Software Foundations to Lean

  14. leanprover/verso-manualusesv4.35.0-rc3

    The Lean reference manual

  15. lean-ja/verso-manualuses7d3a46e

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

  16. leanprover/verso-slidesusesv4.35.0-rc3

  17. leanprover/versowebcomponentsusesv4.35.0-rc2

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