Sup3Legacy/SmallArray
Implementation of SmallVecs in Lean. Project mostly for self education purposes
LeanGPL-3.0
No issues in this repository yet.
Implementation of SmallVecs in Lean. Project mostly for self education purposes
LeanGPL-3.0
No issues in this repository yet.