lean-matroids-master.zip
(预估有个77文件)
lean-matroids-master
.DS_Store
6KB
old
boolalg_ring.lean
7KB
submodular.lean
4KB
induction-old.lean
0B
matroid_intersection.lean
8KB
induction.lean
7KB
func_heq.lean
9KB
inter_union.lean
19KB
finset_extra.lean
1KB
set_tactic
make_ring.lean
5KB
freealg.lean
4KB
boolring_tactic.lean
6KB
matroid5.lean
15KB
matroid3.lean
12KB
matroid_mat2.lean
26KB
deletion_contraction.lean
14KB
matroid_yetagain.lean
794B
minmaxsum.lean
9KB
matroid-zulip.lean
1007B
set_lemmas.linting
22KB
best_tactic.lean
6KB
set_matroid.lean
6KB
size.lean
1KB
finset_add.lean
7KB
minor'''.lean
20KB
fintype2-matroid.lean
2KB
boolalg_quot.lean
1KB
minor.lean
14KB
struct_eq.lean
2KB
finitized_matroid.lean
9KB
post.txt
6KB
matroid.lean
79KB
embed.lean
6KB
matroid4.lean
3KB
cryptomorphism.lean
1KB
minor'.lean
2KB
matroid_bad.lean
755B
matroid-miller.lean
6KB
matroid_new.lean
3KB
src
set_tactic
finset_tactic.lean
2KB
boolean_algebra_tactic.lean
8KB
solver.lean
8KB
extensionality.lean
955B
set_tactic.lean
1KB
matroid
closure.lean
4KB
submatroid
delete_contract.lean
7KB
projection.lean
10KB
matroid_in.lean
15KB
order.lean
7KB
minor.lean
16KB
minor_iso.lean
15KB
scratch.lean
1KB
basis.lean
6KB
indep.lean
10KB
circuit.lean
7KB
rankfun.lean
57KB
constructions.lean
13KB
axioms.lean
5KB
dual.lean
3KB
parallel.lean
19KB
intersection-union
matroid_inter.lean
9KB
matroid_union.lean
20KB
basic.lean
12KB
simple.lean
6KB
prelim
induction.lean
7KB
set.lean
20KB
presetoid.lean
3KB
collections.lean
10KB
size.lean
14KB
embed.lean
4KB
int_lemmas.lean
1KB
minmax.lean
12KB
single.lean
11KB
setlist.lean
3KB
leanpkg.toml
240B
matroidexamples.lean
4KB
.gitignore
31B
暂无评论