leanproverlean4export

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

  1. WuProver/GroebnerTacusesv4.29.0-rc8

  2. WuProver/MonomialOrderedPolynomialusesv4.29.0-rc8

    Monomial ordered polynomial implementation in Lean4