Displaying 1-5 of 5 packages depending on leanprover/verso
Sort by
  1. alok/LeanPlotusescdd5637

    Interactive React-powered charting library for Lean 4 in VS Code's infoview
  2. HEPLean/Notesusesv4.19.0

    Notes in PhysLean
  3. Beneficial-AI-Foundation/NumpySpecuses0ce8d97

    numpy -> lean 4 through ai
  4. leanprover/verso-manualusesce4108e

    The Lean reference manual
  5. lean-ja/verso-manualuses7d3a46e

    「The Lean Language Reference」の日本語訳(作業中)