leanproverlean4export

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

  1. robertylewis/autograderusesv4.33.0

  2. leanprover/Comparatorusesv4.34.0-rc2

  3. WuProver/GroebnerTacusesv4.29.0-rc8

  4. WuProver/MonomialOrderedPolynomialusesv4.29.0-rc8

    Monomial ordered polynomial implementation in Lean4

  5. plclub/SFLusesv4.34.0-rc2

    Development repo for translating Software Foundations to Lean