No results found

LeanLion

Code for Singapore Workshop on Formal Proofs and Lean
Sort by
  1. Git dependency.
    Found on Reservoir.

    LeanAideToolsbdef159

    Tools, specifically for running tactics in the background, with minimal dependencies
  2. Git dependency.
    Found on Reservoir.

    mathlibv4.17.0

    The math library of Lean 4