fgdoraisextra

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

  1. fgdorais/algebrauses5abe3e3

    Algebra library for Lean 4

  2. fgdorais/lean4-automatausese8117eb

  3. fgdorais/logicuses5abe3e3

    Logic Library for Lean 4