Peter Nelson 's repositories
lean-matroids
Matroids in Lean
lean-set-tactic
A tactic in the lean prover to resolve goals that involve set operations
Language:Lean000
mathlib4
Work in progress mathlib port for lean 4
Language:LeanApache-2.0000
matroids
matroids (v2)
Language:Lean000