extra
Supplements to the Lean 4 Standard Library
1-3 of 3 packages depending on fgdorais/extra
Sort by
Package Name
fgdorais/algebrauses
cbae52eAlgebra library for Lean 4fgdorais/lean4-automatauses
e8117ebfgdorais/logicuses
cbae52eLogic Library for Lean 4