leanproverlean4export

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

  1. leanprover/Comparatorusesv4.32.0-rc1

  2. WuProver/GroebnerTacusesv4.29.0-rc8

  3. WuProver/MonomialOrderedPolynomialusesv4.29.0-rc8

    Monomial ordered polynomial implementation in Lean4