leanproverlean4export

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

  1. WuProver/MonomialOrderedPolynomialusesv4.29.0-rc6

    Monomial ordered polynomial implementation in Lean4