fgdoraislogic

Logic Library for Lean 4
Displaying 1-1 of 1 packages depending on fgdorais/logic
Sort by

  1. fgdorais/algebrauses863b796

    Algebra library for Lean 4