nasqretfineqs

Lean4 formalization with Artistotle of the arXiv paper 1906.11174
Sort by
  1. Git dependency.
    Found on Reservoir.

    checkdeclslean4.18.0

    Tiny Lean library to check existence of declarations
  2. Git dependency.
    Found on Reservoir.

    mathlibv4.24.0

    The math library of Lean 4