leanprover-communityDuper

Sort by
  1. Git dependency.
    Found on Reservoir.

    batteriesv4.32.0

    The "batteries included" extended library for the Lean programming language and theorem prover
  2. Git dependency.
    Found on Reservoir.

    auto1175ff6

    Experiments on automation for Lean