leanproververso

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

  1. leanprover-cookbook/Cookbookusesv4.28.0

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

  2. Beneficial-AI-Foundation/FloatSpecusesv4.27.0-rc1

    Formally Verified Float Implementation with lean4

  3. alok/LeanPlotuses6f0c12b

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

  4. lean-phys-community/Notesusesv4.19.0

    Notes in PhysLean

  5. Beneficial-AI-Foundation/NumpySpecuses0ce8d97

    numpy -> lean 4 through ai

  6. leanprover/verso-manualusesv4.29.0-rc8

    The Lean reference manual

  7. lean-ja/verso-manualuses7d3a46e

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

  8. leanprover/versowebcomponentsusesv4.29.0-rc8

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