leanproverlean4export

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

  1. robertylewis/autograderusesv4.33.0

  2. leanprover/Comparatorusesv4.35.0

  3. ucsd-formal/constrained-decoding-formalizationusesv4.29.0-rc6

    Formalization of a grammar-constrained decoding algorithm in Lean.

  4. WuProver/GroebnerTacusesv4.29.0-rc8

  5. WuProver/MonomialOrderedPolynomialusesv4.29.0-rc8

    Monomial ordered polynomial implementation in Lean4

  6. openai/NavierStokesAndEulerusesv4.34.0-rc2

    Lean certificates accompanying Navier-Stokes and Euler results

  7. plclub/SFLusesv4.34.0

    Development repo for translating Software Foundations to Lean