fgdoraisextra

Supplements to the Lean 4 Standard Library
Displaying 1-2 of 2 packages depending on fgdorais/extra
Sort by

  1. fgdorais/algebrauses6c3356e

    Algebra library for Lean 4

  2. fgdorais/lean4-automatauses7bfe9d5