leanproverlean4export

Plain-text declaration export for Lean 4
Displaying 1-4 of 4 packages depending on leanprover/lean4export
Sort by

  1. leanprover/Comparatorusesv4.33.0-rc1

  2. WuProver/GroebnerTacusesv4.29.0-rc8

  3. WuProver/MonomialOrderedPolynomialusesv4.29.0-rc8

    Monomial ordered polynomial implementation in Lean4

  4. lean-dojo/TorchLeanusesv4.31.0

    Neural network specification, execution, and verification in Lean 4.