plclubSFL0.1.0

Development repo for translating Software Foundations to Lean
Sort by
  1. Git dependency.
    Not found on Reservoir.

    comparator-autograderfacc6c7

  2. Git dependency.
    Found on Reservoir.

    batteriesv4.34.0

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

    versov4.34.0

    Lean documentation authoring tool