Popular repositories Loading

1. lean-matroids lean-matroids Public

   Matroids in Lean

   Lean 18 2

2. Matroid Matroid Public

   Lean 9 3

3. lean-set-tactic lean-set-tactic Public

   A tactic in the lean prover to resolve goals that involve set operations

   Lean 2

4. matroids matroids Public

   matroids (v2)

   Lean

5. gen_graph gen_graph Public

   Lean

6. mathlib4 mathlib4 Public

   Forked from leanprover-community/mathlib4

   Work in progress mathlib port for lean 4

   Lean